Deterministiske kontekstfrie språk

Deterministiske kontekstfrie språk er innenfor formell språkteori en delmengde av kontekstfrie språk. De er kontekstfrie språk som kan bli akseptert av en deterministisk pushdown automat. Slike språk er alltid entydige og godtar en entydig grammatikk. Der finnes også ikke-deterministiske kontekstfrie språk som er entydige.

Deterministiske kontekstfrie språk er av største praktiske interesse, ettersom de kan bli parset i lineær tid, og ulike former for språk tillater enkle, praktiske parsere. De er derfor vidt utbredt innen informatikken.

Denne artikkelen er en spire. Du kan hjelpe Wikipedia ved å utvide den.