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.

Kui Q on lõpliku automaadi olekute hulk ja F on sama automaadi lõppolekute hulk, siis

Deterministlikul lõplikul automaadil võib olla üleminekuid rohkem, kui olekuid

Kui Q on lõpliku automaadi olekute hulk ja F on sama automaadi lõppolekute hulk, siis

Kontekstivabas grammatikas võib produktsioonireegli vasakul poolel olla üksainus terminaal või mitteterminaal.

Kontekstivabas grammatikas võib produktsioonireegli paremal poolel olla üksainus terminaal või mitteterminaal.

Vasakrekursiivse reegliga kontekstivaba grammatika on alati mitmene

Igale determineeritud lõplikule automaadile on võimalik leida samaväärne mittedetermineeritud lõplik automaat

Mittedetermineeritud lõplikul automaadil võib olla üleminekuid rohkem, kui olekuid

Taoline väljund on võimalik saada käsureaga

javap -c Main.class

Main.java võiks välja näha umbes selline:

public class Main {
    public static int f(int a, int b, int c) {
        int z = a + b;
        return z * 42 + c;
    }
}

Main.java võiks välja näha umbes selline:

public class Main {
    public static int f(int a, int b, int c) {
        int i3 = (0 + 1) * 42;
        return i3 + 2;
    }
}

Main.java võiks välja näha umbes selline:

public class Main {
    public static int f(int a, int b, int c) {
        int i3 = 0 + 1 * 42 + 2;
        return i3;
    }
}

Instruktsioon IADD muudab väljakutsete magasini kõrgust.

Main.java võiks välja näha umbes selline:

public class Main {    
    public static int f(int a, int b, int c) {
        int z = a + b;
        return z * (42 + c);
    }
}

Instruktsioon IADD muudab arvutusmagasini kõrgust.

Taoline väljund on võimalik saada käsureaga

javap -p Main.class

See grammatika on mitmene

L(S) = L(a(aa)*)

L(S) = L((aa)*) ∪ L(a)

Selle grammatika poolt esitatud keel on regulaarne

L(S) = { a²ⁿ⁺¹ | n ≥ 0 }, ehk sõnad, mis koosnevad paaritu arv a-dest.

Tegemist on LL(1) grammatikaga

See grammatika on mitmene

See grammatika on paremrekursiivne

See grammatika on vasaklineaarne

Selle grammatika poolt esitatud keel on kontekstivaba

Selle grammatika poolt esitatud keel on regulaarne

See grammatika on paremlineaarne

See grammatika esitab lõpliku keele

See grammatika on vasakrekursiivne