Wersja z 22:50, 16 kwi 2007 edytuj 156.17.183.62 (dyskusja) Delikatnie poprawiona interpunkcja. ← poprzednia edycja		Wersja z 20:31, 27 kwi 2007 edytuj anuluj edycję Ksoltys (dyskusja \| edycje) 56 edycji →‎[[Twierdzenie o indeksie]]: Zmieniłem na "Twierdzenie Myhilla-Nerode'a" następna edycja →
Linia 194: '''''Uwaga''': używane w praktyce tzw. [[Wyrażenia regularne\|wyrażenia regularne]] w rzeczywistości posiadają zwykle dodatkowe możliwości, i generują więcej języków niż tylko języki regularne.'' = [[Twierdzenie ~~o indeksie~~Myhilla-Nerode'a]] = [[Twierdzenie Myhilla-Nerode'a]] podaje dostateczny i konieczny warunek na to, by język był regularny. ~~Weźmy dowolny język, i dla każdego prefiksu <math>w</math> wyznaczmy zbiór (być może pusty) takich sufiksów <math>v</math>, że słowo <math>wv</math> należy do tego języka.~~ Pogrupujmy prefiksy w klasy, takie że wszystkie prefiksy w tej samej klasie mają takie samy zbiory poprawnych sufiksów. '''Twiedzenie o indeksie''' mówi, że język jest regularny wtedy i tylko wtedy, gdy ilość tych klas jest skończona. == Przykład ==

Język regularny: Różnice pomiędzy wersjami