Зміст
6 відносини: Алгоритм, Нормальні алгоритми, Теорія алгоритмів, Машина Тюрінга, Еміль Пост, Енциклопедія кібернетики.
- Моделі обчислень
- Формальні мови
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Переглянути Числення Поста і Алгоритм
Нормальні алгоритми
Нормальні алгоритми Маркова (нормальна алгорифми) — формалізація поняття алгоритму, що являє собою систему послідовних застосувань підстановок до слів певного алфавіту, введена математиком А.
Переглянути Числення Поста і Нормальні алгоритми
Теорія алгоритмів
Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.
Переглянути Числення Поста і Теорія алгоритмів
Машина Тюрінга
Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.
Переглянути Числення Поста і Машина Тюрінга
Еміль Пост
Пост Еміль Леон (Emil Leon Post) (11 лютого 1897, Августув, Царство Польське — 21 квітня 1954, Нью-Йорк) — американський математик та логік, один із засновників багатозначної логіки; основні праці з математичної логіки: алгебра Поста, класи Поста функцій алгебри логіки; запропонував абстрактну обчислювальну машину — машину Поста.
Переглянути Числення Поста і Еміль Пост
Енциклопедія кібернетики
Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.
Переглянути Числення Поста і Енциклопедія кібернетики
Див. також
Моделі обчислень
- URISC
- Автомат Мілі
- Автомат з магазинною пам'яттю
- Агентне моделювання
- Багатопотокове оброблення даних
- Біноміальна модель оцінювання опціонів
- ДНК-комп'ютер
- Денотаційна семантика
- Діаграма станів автомата
- Категоріальна абстрактна машина
- Лямбда-числення
- Машина Зенона
- Машина Поста
- Машина Тюрінга
- Машина з натуральнозначними регістрами
- Мережа процесів Кана
- Мережі Петрі
- Модель дерева рішень
- Модель обчислення
- Модель станів і переходів
- Модифікації машини Тюрінга
- Нормальні алгоритми
- Паралельна машина з довільним доступом
- Персистентність
- Фотонний комп'ютер
- Числення Поста
Формальні мови
- Diff
- LL(k)-граматика
- SCIgen
- Інтерпретація (логіка)
- Ієрархія Чомскі
- Абетка (інформатика)
- Абстрактне синтаксичне дерево
- Граматика Монтегю
- Граматика визначених тверджень
- Доказ
- Знако-розрядна система числення
- Зірочка Кліні
- Конкатенація
- Контекстно-вільна граматика
- Контекстно-залежна граматика
- Лема про накачку для регулярних мов
- Машина Тюрінга
- Мова розмітки даних
- Нормальна форма Хомського
- Порожній рядок
- Підрядок
- Регулярна мова
- Регулярний вираз
- Рерайтинг (математика)
- Рядок (програмування)
- Символ (логіка)
- Синтаксична діаграма
- Унарна система числення
- Формальна граматика
- Формальна мова
- Формальна система
- Числення Поста