Дополнение и пресечение определяют

Пресечение контекстно-свободных языков

Через объединение и дополнение выражают

Через объединение и дополнение выражается

Дополнение детерминированного контекстно-свободного языка является

Итерация, конкатенация и объединение определяют

Дополнение языка является бесконечным тогда и только тогда, когда постовская система соответствия

Дополнение языка является непустым тогда и только тогда, когда постовская система соответствия

Необходимые условия автоматности определяют, что формальный язык