Изменения
→Пример
Рассмотрим следующий язык <tex>L_n = (a+b)^∗a(a+b)^{n-1}a(a+b)^∗</tex> при <tex>\forall n > 0</tex>.
Он может быть легко распознан с помощью следующего [[Недетерминированные_конечные_автоматы|недетерменированного недетерминированного конечного автомата]].
[[Файл:2dfa_example_1.png|600px]]
== См. также ==
* [[Локальные автоматы]]
* [[Теорема Клини (совпадение классов автоматных и регулярных языков)]]
[[Категория: Теория формальных языков]]
[[Категория: Автоматы и регулярные языки]]
[[Категория: Другие автоматы]]
