Сторінки, що посилаються на «Шаблон:Роджерс.Теорія рекурсивних функцій»
Такі сторінки посилаються на Шаблон:Роджерс.Теорія рекурсивних функцій
Зовнішні інструменти: Кількість включень
Показано 27 елементів.
- Мережі Петрі (включення) (← посилання | редагувати)
- Діаграма станів автомата (включення) (← посилання | редагувати)
- Недетермінований скінченний автомат (включення) (← посилання | редагувати)
- Скінченний автомат (включення) (← посилання | редагувати)
- Автомат Мура (включення) (← посилання | редагувати)
- Пам'ять автомата (включення) (← посилання | редагувати)
- Теорія автоматів (включення) (← посилання | редагувати)
- Загальна рекурсивна функція (включення) (← посилання | редагувати)
- Теорія складності обчислень (включення) (← посилання | редагувати)
- Клас складності NP (включення) (← посилання | редагувати)
- Клас складності PSPACE (включення) (← посилання | редагувати)
- Автомат Мілі (включення) (← посилання | редагувати)
- Автомат з магазинною пам'яттю (включення) (← посилання | редагувати)
- Детермінований скінченний автомат (включення) (← посилання | редагувати)
- Машина Поста (включення) (← посилання | редагувати)
- Детермінізація НДСкА (включення) (← посилання | редагувати)
- Синтез скінченних автоматів (включення) (← посилання | редагувати)
- Недетермінована машина Тюрінга (включення) (← посилання | редагувати)
- Проблема збіжності Поста (включення) (← посилання | редагувати)
- Універсальна машина Тюрінга (включення) (← посилання | редагувати)
- Проблема зупинки (включення) (← посилання | редагувати)
- Універсальні рекурсивні функції (включення) (← посилання | редагувати)
- Алгоритмічно нерозв'язна задача (включення) (← посилання | редагувати)
- Обчисленна функція (включення) (← посилання | редагувати)
- Алгоритм Тарського (включення) (← посилання | редагувати)
- Зведення (теорія складності обчислень) (включення) (← посилання | редагувати)
- Класи складності L і NL (включення) (← посилання | редагувати)