Módosítások

Ugrás a navigációhoz Ugrás a kereséshez
a
*Ha Σ véges ábécé és Σ* jelöli a Σ feletti [[szabad monoid]]ot, amely tartalmazza a Σ feletti összes stringet, &nbsp;''f'' : Σ* → ''M'' egy [[monoid homomorfizmus]] ahol ''M'' egy ''véges'' monoid, és ''S'' ''M'' részhalmaza, akkor az ''f''<sup>&nbsp;‒1</sup>(''S'') halmaz szabályos, reguláris. Minden szabályos nyelv létrehozható ilyen módon.
 
*Ha ''L'' Σ* valamilyen részhalmaza, és definiáljuk a ~ [[ekvivalencia relácóekvivalenciareláció]]t Σ* ra a következők alapján:
:''u'' ~ ''v'' ami azt jelenti, hogy
:''uw'' &isin; ''L'' akkor, és csak akkor, ha ''vw'' &isin; ''L'' minden ''w'' &isin; &Sigma;* esetén.
42 359

szerkesztés

Navigációs menü