Kontekstivaba grammatika põhjal saadud derivatsioon on alati kas paremderivatsioon,  vasakderivatsioon või mõlemad samaaegselt.

Regulaaravaldised on alati lõplikud.

Leidub kontekstivabasid keeli, mida on võimalik panna kirja regulaaravaldistega.

Kompileeritava programmeerimiskeele parseri ehitamisel tuleb võtta arvesse ka riistvara, millel kompileeritud programm peab jooksma.

Leidub regulaarseid keeli, mida on võimalik panna kirja kontekstivabade grammatikatega.

Ilma algolekuta lõpliku automaadiga saab esitada tühja keelt.

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).

Ilma kompilaatorideta pidi väga keerulist masinkoodi kirjutama selle asemel, et mõelda sisulisestest probleemidest.

Kompilaatoritega saab nõrganärvilisi inimesi informaatikast eemale peletada.

Kompilaatorid võimaldavad programmeerimiskeeli disainida, mille programmid on inimese mõttemaailmale lähedamad, sest kompilaator muretseb selles eest, kuidas peab seda konkreetse riistvara peal realiseerima.

Grace Hopper kogus ka kokku tüüpilisi koodijuppe (standardteegiks) ja sellega võimaldas inimesi jalgratta leiutamise asemel lahendada päris maailma probleeme.

ε

baaaaabaa

baaaaabaaaab

abaabaaabaa

a

aaaabaaaa

(ka|la|ru)*

(k|a|l|r)*

kala|karu

(ka|ru|ka(la)*)*

(kala|karu)*

karu|(a|b|c|e|k|m|l|r|s|q)*

te*(rul*|r)*|e

(teerull)*

(t*e*e*r*u*l*l*)*

t*e*e*r*u*l*l*

tee|t|trull|teerull|terul|tere

t*(u|r|e)*l*