Обсуждение:Доказательство нерегулярности языков: лемма о разрастании — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Упрощение доказательства нерегулярности примера)
(Упрощение доказательства нерегулярности примера)
 
(не показано 7 промежуточных версий 1 участника)
Строка 1: Строка 1:
 
== Упрощение доказательства нерегулярности примера ==
 
== Упрощение доказательства нерегулярности примера ==
  
Предположим, что язык - регулярный $\rightarrow$ для него существует ДКА (пусть в нём $n$ состояний). Подадим на него $n+1$ строку вида $ab^i$ где $i \in  [1:n+1]$, согласно принципу Дирихле хотя бы 2 слова должны попасть в одно и то же состояние. Пусть это слова $ab^k$, $ab^l$, тогда если мы подадим на автомат слова $ab^kc^k$  и $ab^lc^k$, они также попадают в одно состояние, однако $ab^kc^k$ принадлежит языку (а значит переходит в териминальное состояние), а $ab^lc^k$ - не принадлежит (противоречие) $\rightarrow$ наш язык не регулярный.
+
Предположим, что язык - регулярный, значит, для него существует ДКА (пусть в нём $n$ состояний). Подадим на него $n+1$ слово вида $ab^i$, где $i$ принадлежит промежутку от $1$ до $n + 1$. Согласно принципу Дирихле, хотя бы 2 слова должны попасть в одно и то же состояние; пусть это слова $ab^k$, $ab^l$, тогда, если подать на автомат слова $ab^kc^k$  и $ab^lc^k$, они также попадут в одно состояние. Заметим, что $ab^kc^k$ принадлежит языку, а $ab^lc^k$ {{---}} не принадлежит. Получается противоречие, ведь оба слова перейдут в одно и то же состояние, но так как $ab^kc^k$ переходит в терминальное состояние, то и $ab^lc^k$ тоже переходит в него, чего быть не может, следовательно, наш язык не регулярный.

Текущая версия на 02:55, 2 июля 2020

Упрощение доказательства нерегулярности примера

Предположим, что язык - регулярный, значит, для него существует ДКА (пусть в нём $n$ состояний). Подадим на него $n+1$ слово вида $ab^i$, где $i$ принадлежит промежутку от $1$ до $n + 1$. Согласно принципу Дирихле, хотя бы 2 слова должны попасть в одно и то же состояние; пусть это слова $ab^k$, $ab^l$, тогда, если подать на автомат слова $ab^kc^k$ и $ab^lc^k$, они также попадут в одно состояние. Заметим, что $ab^kc^k$ принадлежит языку, а $ab^lc^k$ — не принадлежит. Получается противоречие, ведь оба слова перейдут в одно и то же состояние, но так как $ab^kc^k$ переходит в терминальное состояние, то и $ab^lc^k$ тоже переходит в него, чего быть не может, следовательно, наш язык не регулярный.