Antud aine raames mõistame translaatori all tarkvarakomponenti, mis teisendab mingis formaalses keeles kirjutatud teksti mingisse teise formaalsesse keelde.

Parse-puus on enamasti rohkem tippe, kui vastavas abstraktses süntaksipuus

Kontekstivaba grammatika terminaalsümbolite hulk võib olla suurem, kui mitteterminalide hulk.

Klassikaliste regulaaravaldistega (ilma PCRE laiendusteta) on võimalik esitada lõpmatuid keeli.

Leidub kontekstivabasid grammatikaid, mis esitavad lõpliku keele, mille igale sõnale leidub lõpmatu arv erinevaid derivatsioone.

Suvalise paremlineaarse grammatika puhul on vastavasse keelde kuulumise probleem lahenduv (st. on võimalik kirjutada arvutiprogramm, mis suvalise sisendi korral ütleb, kas see kuulub keelde või mitte).

Suvalise kontekstivaba grammatika puhul on vastavasse keelde kuulumise probleem lahenduv (st. on võimalik kirjutada arvutiprogramm, mis suvalise sisendi korral ütleb, kas see kuulub keelde või mitte).