Доказывая язык регулярных
Лемма накачки используется для доказательства того, что язык не является регулярным. Но каким может быть язык!--2--> оказался обычный ? В частности,
Let L be a language. Define half(L) to be
{ x | for some y such that |x| = |y|, xy is in L}.
Prove for each regular L that half(L) is regular.
есть ли какой-либо трюк или общая процедура для решения таких вопросов ?
2 ответов
Если вы можете правильно описать свой язык L с помощью NFA или DFA, тогда это будет регулярное.
существует хорошо известное равенство NFAs, DFAs,регулярных грамматик и регулярные выражения, поэтому представление L в любом из этих формализмов должно делать.
обеспечьте регулярную грамматику или конечный автомат, который соответствует языку. Для полного списка свойств вы можете доказать, что язык является регулярным, см. первые строки Статья В Википедии на регулярных языках.