Изменения

Перейти к: навигация, поиск

Разрешимые (рекурсивные) языки

1 байт убрано, 14:11, 12 января 2015
Основные определения
Существует [[Отображения#Свойства отображений | биекция]] между строками и натуральными числами.
|proof=
Приведем пример такой биекции: Занумеруем занумеруем подряд все строки длинны <tex>1</tex>, затем все строки длинны <tex>2</tex> и так далее {{---}} нумерация названий столбцов в <tex>Excel</tex>, таким образом, каждому натуральному числу соответствует некоторая строка и наоборот.
}}

Навигация