Llenguatge enumerable recursivament: diferència entre les revisions

m
neteja i estandardització de codi
m (Bot elimina espais sobrants)
m (neteja i estandardització de codi)
 
# Un llenguatge enumerable recursivament és un subconjunt enumerable recursivament del conjunt de totes les possibles paraules de l'alfabet del llenguatge.
# Un llenguatge enumerable recursivament és un llenguatge formal pel que existeix una màquina de Turing (o alguna altra [[funció computable]]) que enumerarà totes les cadenes vàlides del llenguatge.
# Un llenguatge enumerable recursivament és un llenguatge formal pel que existeix una màquina de Turing ( o alguna altra funció computable) que s'aturarà i acceptarà quan se li presenti qualsevol cadena del llenguatge com a entrada, però que o bé s'aturarà i rebutjarà o no s'aturarà mai quan la cadena no sigui del llenguatge. Això diferència aquest tipus de llenguatge dels [[Llenguatge recursiu|llenguatges recursius]], on la màquina ha d'aturar-se en tots els casos.
 
 
== Vegeu També ==
 
* [[Complexitat computacional|Complexitat Computacional]]
 
2.436.776

modificacions