Rekurzivni jezik
U matematici, logici i računarstvu, rekurzivni jezik je tip formalnog jezika koji se još zove i rekurzivan, odlučiv ili Turing-odlučiv. Klasa svih rekurzivnih jezika se često zove R, iako je to ime često korišteno i za klasu složenosti RP. Ovaj tip jezika nije definisan u Chomskyjevoj hijerarhiji.