Język rekurencyjnie przeliczalny
Z Wikipedii, wolnej encyclopedia
Język rekurencyjnie przeliczalny (ang. recursively enumerable language) to język formalny określany jako język klasy 0 w hierarchii Chomsky’ego, który generowany jest przez gramatykę kombinatoryczną.