Llenguatge enumerable recursivament: diferència entre les revisions

Contingut suprimit Contingut afegit
m Afegida plantilla "Llenguatges formals i gramàtiques"
m Bot elimina espais sobrants
Línia 24:
* la [[intersecció]] <math>L\cap P</math>
 
Els llenguatges enumerables recursivament no estan tancats respecte a la [[Diferència|diferència de conjunts]] o [[complementari]]. El conjunt diferència ''L'' - ''P'' pot ser o pot no ser enumerable recursivament. Si ''L'' és enumerable recursivament, llavors el complement d'''L'' és enumerable recursivament si i només si ''L'' és també [[Llenguatge recursiu|recursiu]].
 
== Vegeu També ==