Gramatyka rekurencyjnie przeliczalna
Z Wikipedii
Gramatyka formalna bez ograniczeń na postać reguł. W hierarchii Chomsky'ego jest to gramatyka typu 0.
Inne nazwy tego rodzaju gramatyki to: gramatyka kombinatoryczna, gramatyka struktur fazowych, gramatyka bez ograniczeń.