Język rekursywny
Z Wikipedii
Język rekursywny (ang. recursive language) to język formalny, dla którego istnieje algorytm rozstrzygający czy dany łańcuch należy do tego języka, czy nie.
Wszystkie języki rekursywne są rekursywnie przeliczalne. Wszystkie języki kontekstowe są rekursywne.