Введение в теорию вычислимости/Задачи/Порядок — различия между версиями

Версия 23:34, 23 февраля 2022

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