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

Материал из DISCOPAL
Версия от 23:34, 23 февраля 2022; Иван Тунёв (обсуждение | вклад) (Новая страница: «Пусть <latex> L </latex> -- перечислимый язык. Доказать, что если его слова можно лексикографичес…»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

[ Хронологический вид ]Комментарии

(нет элементов)

Войдите, чтобы комментировать.

Источник — «https://discopal.ispras.ru/index.php?title=Введение_в_теорию_вычислимости/Задачи/Порядок&oldid=19862»