Вопросы по теме 'formal-languages'

Лемма накачки для регулярных языков для языка, включающего константу
Если у меня есть такой язык: L1 = {a^128 b^n a^n | n >= 0} и я должен доказать, что оно не является регулярным, достаточно ли доказать, что b ^ n a ^ n не является регулярным, таким образом, все выражение не является регулярным, поскольку a ^...
41 просмотров