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

Правильный ответ:

• # Функцию магазина в автоматах с магазинной памятью выполняет
• # Постановка каждому символу в соответствие конечный язык
• # Вычислительный процесс автомата с магазинной памятью по своей сути является
• # Некоторым детерминированным конечным автоматом можно задать
• # Образы локальных языков при побуквенных гомоморфизмах являются