Пусть -- перечислимый язык. Доказать, что если его слова можно лексикографически упорядочить, то тогда является и разрешимым.
Войдите, чтобы комментировать.
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.