Rekurzivno prebrojiv jezik: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
+ref
EmxBot (razgovor | doprinosi)
m Bot: ispravka HTML koda i wiki sintakse
Redak 1:
U [[matematika|matematici]], [[logika|logici]] i [[računarstvo|računarstvu]], '''rekurzivno prebrojiv jezik''' je tip [[formalni jezik|formalnog jezika]] koji se još zove i '''parcijalno odlučiv''' ili '''Turing-prepoznatljiv'''. Poznat je kao jezik '''tipa 0''' u [[Chomskyjeva hijerarhija|Chomskyjevoj hijerarhiji]] formalnih jezika. Klasa rekurzivno prebrojivih jezika je poznata kao klasa složenosti '''RE'''.
 
== Definicije ==
 
U literaturi su prisutne tri glavne istovjetne definicije koncepta rekurzivno prebrojivog jezika.