Język regularny: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
→Twierdzenie Kleene'ego: lit. |
|||
Linia 78:
* Jeśli automat jest w stanie <math>S_k</math> (<math>k \not= n</math>), to po przeczytaniu dowolnego znaku przechodzi w stan <math>S_{k+1}</math>
* Jeśli automat jest w stanie <math>S_n</math>, to po przeczytaniu dowolnego znaku przechodzi w stan ZaDługie.
* Jeśli automat jest w stanie ZaDługie, po przeczytaniu dowolnego znaku pozostaje w
* Akceptujące są stany <math>S_n</math> i <math>S_m</math>
| |||