„Reguláris nyelv” változatai közötti eltérés

*Ha Σ véges ábécé és Σ* jelöli a Σ feletti [[szabad monoid]]ot, amely tartalmazza a Σ feletti összes stringet,  ''f'' : Σ* → ''M'' egy [[monoid homomorfizmus]] ahol ''M'' egy ''véges'' monoid, és ''S'' ''M'' részhalmaza, akkor az ''f''^ ‒1(''S'') halmaz szabályos, reguláris. Minden szabályos nyelv létrehozható ilyen módon.

 

:''u'' ~ ''v'' ami azt jelenti, hogy

:''uw'' ∈ ''L'' akkor, és csak akkor, ha ''vw'' ∈ ''L'' minden ''w'' ∈ Σ* esetén.