Вопросы по теме 'decidable'

Машины Тьюринга и схемы машин
Артур Дент, используя технологию космической эры, еще не доступную на Земле, разработал алгоритм, который определяет, останавливается или нет TM M1 при запуске на пустой ленте. Но позже он обнаружил, что смысл жизни, вселенной и всего остального -...
455 просмотров

Является ли этот язык регулярным или нет?
У меня есть язык {4^(w⋅g)34^(g)|w,g∈NAT} над алфавитом {0,1}. Мне нужно выяснить, является ли этот язык узнаваемым, разрешимым, свободным от контекста, регулярным или ни одним из них. Как мне это сделать или узнать? Спасибо
82 просмотров