Страницы, ссылающиеся на «Разрешимые (рекурсивные) языки»
Следующие страницы ссылаются на «Разрешимые (рекурсивные) языки»:
Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)- Правоконтекстные грамматики, эквивалентность автоматам (← ссылки)
- Перечислимые языки (← ссылки)
- Свойства перечислимых языков. Теорема Успенского-Райса (← ссылки)
- Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций (← ссылки)
- Примеры неразрешимых задач: проблема соответствий Поста (← ссылки)
- Примеры неразрешимых задач: однозначность грамматики (← ссылки)
- Машина Тьюринга (← ссылки)
- Замкнутость КС-языков относительно различных операций (← ссылки)
- Вычислимые числа (← ссылки)
- Участник:Dgerasimov/Тикеты по конспектам year2011 (← ссылки)
- Неразрешимость исчисления предикатов первого порядка (← ссылки)
- Участник:Shersh/Теорема о рекурсии (← ссылки)
- Неразрешимость задачи об эквивалентности КС-грамматик (← ссылки)
- Участник:Shersh/Тикеты к 5ому терму (← ссылки)
- Неразрешимость проблемы существования решения диофантова уравнения в целых числах (← ссылки)
- Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик (← ссылки)
- Теория вычислимости (← ссылки)
- Теория вычислимости:Тикеты (← ссылки)
- Производящие функции:Тикеты (← ссылки)
