Grammatika nimetatakse üheseks, kui kõik tema keele sõnu saab ühe ja sama parsepuuga esitada.

Iga lõplik sõnade hulk on regulaarne keel.

Iga regulaaravaldise jaoks leidub täpselt üks minimaalne deterministlik lõplik automaat, mis tunneb ära kõik need sõnad, millega regulaaravaldis sobitub.

ANTLR töötab ainult LL(1) grammatikatega.