język rekurencyjny
Sign in to saveAlso known as decidable
recursive subset of the set of all possible finite sequences over the alphabet of the language
Article · Polski
Język rekurencyjny – rodzaj języka formalnego, dla którego z podanymi regułami jego składni da się opracować automatyczny sposób sprawdzania, czy dane słowo jest zbudowane zgodnie z tymi regułami (tzn. czy należy do języka). W teorii złożoności oznaczana jest literą . Klasa języków rekurencyjnych nie została uwzględniona w hierarchii Chomsky’ego.
Abstract from DBpedia / Wikipedia · CC BY-SA