Lõplik automaat lõpetab töö enne, kui sisend saab otsa.

Täielik deterministlik automaat peab omama vähemalt üks lõksolek, kui tema keel ei ole Σ*.

Leidub lõplik automaat, mis tunneb ära täpselt need sõnad, mis esinevad "Tõe ja Õiguse" IV osas.

Kui grammatika on mitmene, siis leidub selles keeles vähemalt üks sõna, millele vastab vähemalt kaks paremderivatsiooni.

Kui grammatika on ühene, siis on iga vasakderivatsioon ühtlasi ka paremderivatsioon.

Kahe (klassikalise) regulaaravaldise samaväärsust ei saa automaatide abil otsustada.