Leidub algoritm kontekstivaba grammatika vasaklineaarse lõppoleku eemaldamiseks.

Lõplikus automaadis peab olema vähemalt üks olek

Leidub kontekstivabu grammatikaid, milles on mõnele sõnale lõpmatu arv erinevaid derivatsioone.

Automaadi determineerimisel olekute arv harilikult väheneb

Lõplikus automaadis peab olema vähemalt üks lõppolek.

Laiendatud Backus-Nauri valemitega (EBNF) on võimalik panna kirja rohkem keeli kui harilike Backus-Nauri valemitega (BNF).