Съдържание
4 отношения: Алън Тюринг, Алгоритъм, Алонсо Чърч, Машинна инструкция.
- Рекурсивна теория
- Теоретична информатика
- Формални езици
Алън Тюринг
Алън Матисън Тюринг (Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ.
Виж Машина на Тюринг и Алън Тюринг
Алгоритъм
Алгоритъм (от името на учения ал–Хорезми) е термин от математиката, информатиката, лингвистиката и други области, с който се описва сложно действие чрез редица от елементарни (достатъчно прости) действия, които изпълняващият може да извърши в последователни стъпки без допълнителни обяснения.
Виж Машина на Тюринг и Алгоритъм
Алонсо Чърч
Алонсо Чърч (Alonzo Church) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика.
Виж Машина на Тюринг и Алонсо Чърч
Машинна инструкция
Машинна инструкция или машинно указание е наредба, която предизвиква изпълнението на единична операция от процесора в дадена компютърна архитектура.
Виж Машина на Тюринг и Машинна инструкция
Вижте също
Рекурсивна теория
- Halting проблем
- Изчислимост
- Изчислителен модел
- Изчислителна теория
- Машина на Тюринг
- Нерешим проблем
- Степен на Тюринг
- Тезис на Чърч
Теоретична информатика
- Алгоритъм
- Биологично вдъхновени изчисления
- Комбинаторна оптимизация
- Машина на Тюринг
- Теоретична информатика
- Формален език
Формални езици
- Йерархия на Чомски
- Конкатенация
- Маркиращ език
- Машина на Тюринг
- Низ
- Регулярен израз
- Формален език