Зміст
1 ставлення: Повнота за Тюрингом.
- Моделі обчислень
Повнота за Тюрингом
У теорії алгоритмів набір правил маніпуляції даними (набір інструкцій, мова програмування, чи клітинний автомат) вважається повним за Тюрингом тоді і тільки тоді, коли цей набір може моделювати однострічкову машину Тюринга.
Переглянути Машина з натуральнозначними регістрами і Повнота за Тюрингом
Див. також
Моделі обчислень
- URISC
- Автомат Мілі
- Автомат з магазинною пам'яттю
- Агентне моделювання
- Багатопотокове оброблення даних
- Біноміальна модель оцінювання опціонів
- ДНК-комп'ютер
- Денотаційна семантика
- Діаграма станів автомата
- Категоріальна абстрактна машина
- Лямбда-числення
- Машина Зенона
- Машина Поста
- Машина Тюрінга
- Машина з натуральнозначними регістрами
- Мережа процесів Кана
- Мережі Петрі
- Модель дерева рішень
- Модель обчислення
- Модель станів і переходів
- Модифікації машини Тюрінга
- Нормальні алгоритми
- Паралельна машина з довільним доступом
- Персистентність
- Фотонний комп'ютер
- Числення Поста
Також відомий як Регістрова машина.