I Chomskyhierarkiet er turinggjenkjennelige språk kjent som type-0 språk og utgjør det ytterste laget i hierarkiet. Det betyr at alle regulære språk, kontekstfrie språk, kontekstsensitive språk og rekursive språk er turinggjenkjennelige.