Deterministički kontekstno slobodan jezik

Deterministički kontekstno slobodan jezik je formalni jezik koji je definisan determinističkim kontekstno slobodnim gramatikama. Skup svih determinističkih kontekstno slobodnih jezika je identičan skupu jezika koje prihvataju deterministički potisni automati. Skup determinističkih kontekstno slobodnih jezika je pravi podskup kontekstno slobodnih jezika koji koriste određene kontekstno slobodne gramatike. Na primer, jezik palindroma u azbuci koja se sastoji od simbola 0 i 1, ima jednostavnu, određenu gramatiku 1S1 | ε , ali ne može biti analiziran determinističkim potisnim automatom. Jezici iz ove klase su od velikog značaja u praksi računarstva. Složenost programa i izvršavanja determinističkog potisnog automata je znatno manja od nedeterminističkog koji mora praviti kopije steka za svaki nedeterministički korak.