Я хочу доказать, что дополнение не является регулярным, используя свойства замыкания.
Я понимаю, что лемму прокачки можно использовать, чтобы доказать, что не является регулярным языком. Я также понимаю, что обычные языки закрыты в рамках операции дополнения. Однако означает ли это, что дополнение к нерегулярному языку также является нерегулярным?
formal-languages
regular-languages
closure-properties
anthony34234
источник
источник