Категорія:Моделі обчислень

• Модель обчислення

А

• Абстрактний автомат
• Автомат з магазинною пам'яттю
• Агентне моделювання
• Адіабатична схема

Б

• Багатопотокове оброблення даних
• Біноміальна модель оцінювання опціонів
• Бозонний семплінг

Д

• Денотаційна семантика
• Діаграма станів автомата
• ДНК-комп'ютер

К

• Категоріальна абстрактна машина
• Квантовий комп'ютер

Л

• Лінійний оптичний квантовий комп'ютер
• Лямбда-числення

М

• Машина з натуральнозначними регістрами
• Машина Зенона
• Машина Поста
• Машина Тюрінга
• Мережа процесів Кана
• Мережі Петрі
• Модель станів і переходів

Н

• Нормальні алгоритми

О

• Оборотні обчислення
• Однобічний квантовий комп'ютер

П

• Паралельна машина з довільним доступом
• Персистентність
• Пророча машина

С

• Структурна теорема Бьома — Якопіні

Ч

• Числення Поста

D

• Модель дерева рішень

F

• FRACTRAN

P

• P′′

U

• URISC