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