Főmenü megnyitása

Módosítások

a
A következőkben két tisztán algebrai megközelítést mutatunk a szabályos nyelvek meghatározásra.
*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 reguláris. Minden reguláris nyelv létrehozható ilyen módon.
 
*Ha ''L'' Σ* valamilyen részhalmaza, és definiáljuk a ~ [[ekvivalenciareláció]]t Σ* ra a következők alapján:
:''u'' ~ ''v'' ami azt jelenti, hogy
35 062

szerkesztés