Llenguatge enumerable recursivament: diferència entre les revisions

m
Bot elimina espais sobrants
m (Afegida plantilla "Llenguatges formals i gramàtiques")
m (Bot elimina espais sobrants)
* 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é ==
2.779.170

modificacions