stefk0 / eai Goto Github PK

В раздел 3.4 "Недетерминирани стекови автомати", задача 3.22 гласи:

Докажете, че езикът L = {w от {a, b}* | броят на a-тата в w е равен на 2 пъти броя на b-тата в w} не е безконтекстен.

Мисля, че това не е така.

3. Доказателството на теорема 2.1 (Клини) б) подточка -- как стигаме до
   разбиването

L(i,j,k) = L(i,j,k-1) U L(i,k,k-1).(L(k,k,k-1)*).L(k,j,k-1) ?

В главата 2.5 Минимален автомат. Използвайки релацията на Нероуд и теоремата на Майхил-Нероуд преди дефинирането на едната и доказването на другата, в подглава 2.5.1 идва изневиделица.

В доказателството на лемата за покачването за контекстно свободни езици се използва нормална форма на Чомски, която е дефинирана по-късно.