„Reguláris nyelv” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Harp (vitalap | szerkesztései) interwiki link |
a Bot: 1 HTML entitás lecserélve. (Hibakód: 11) |
||
38. sor:
A következőkben két tisztán algebarai 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, ''f'' : Σ* → ''M'' egy [[monoid homomorfizmus]] ahol ''M'' egy ''véges'' monoid, és ''S'' ''M'' részhalmaza, akkor az ''f''<sup>
*Ha ''L'' Σ* valamilyen részhalmaza, és definiáljuk a ~ [[ekvivalencia relácó]]t Σ* ra a következők alapján:
|