16 отношения: C++, Haskell, Контекстно-свободная грамматика, Конечный автомат, Правило 110, Пролог (язык программирования), Паскаль (язык программирования), Регулярная грамматика, Тьюринг, Алан, Теория вычислимости, Функциональное программирование, Язык программирования, Машина Тьюринга, Императивное программирование, Вычислимая функция, Логическое программирование.
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Новый!!: Полнота по Тьюрингу и C++ · Узнать больше »
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Новый!!: Полнота по Тьюрингу и Haskell · Узнать больше »
Контекстно-свободная грамматика
Контекстно-свободная грамматика (КС-грамматика, бесконтекстная грамматика) — частный случай формальной грамматики (тип 2 по иерархии Хомского), у которой левые части всех продукций являются одиночными нетерминалами (объектами, обозначающими какую-либо сущность языка (например: формула, арифметическое выражение, команда) и не имеющими конкретного символьного значения).
Новый!!: Полнота по Тьюрингу и Контекстно-свободная грамматика · Узнать больше »
Конечный автомат
Коне́чный автома́т — абстрактный автомат, число возможных внутренних состояний которого конечно.
Новый!!: Полнота по Тьюрингу и Конечный автомат · Узнать больше »
Правило 110
Правило 110 (Rule 110) — элементарный клеточный автомат, то есть одномерный клеточный автомат с двумя состояниями (0 и 1), с поведением, находящимся на границе хаоса и стабильности.
Новый!!: Полнота по Тьюрингу и Правило 110 · Узнать больше »
Пролог (язык программирования)
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Новый!!: Полнота по Тьюрингу и Пролог (язык программирования) · Узнать больше »
Паскаль (язык программирования)
Паска́ль (Pascal) — один из наиболее известных языков программирования, используется для обучения программированию в старших классах и на первых курсах вузов, является базой для ряда других языков.
Новый!!: Полнота по Тьюрингу и Паскаль (язык программирования) · Узнать больше »
Регулярная грамматика
В информатике, регулярная грамматика — формальная грамматика типа 3 по иерархии Хомского.
Новый!!: Полнота по Тьюрингу и Регулярная грамматика · Узнать больше »
Тьюринг, Алан
А́лан Мэ́тисон Тью́ринг, OBE (Alan Mathison Turing; —) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики.
Новый!!: Полнота по Тьюрингу и Тьюринг, Алан · Узнать больше »
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.
Новый!!: Полнота по Тьюрингу и Теория вычислимости · Узнать больше »
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Новый!!: Полнота по Тьюрингу и Функциональное программирование · Узнать больше »
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Новый!!: Полнота по Тьюрингу и Язык программирования · Узнать больше »
Машина Тьюринга
Художественное представление машины Тьюринга Маши́на Тью́ринга (МТ) — абстрактный исполнитель (абстрактная вычислительная машина).
Новый!!: Полнота по Тьюрингу и Машина Тьюринга · Узнать больше »
Императивное программирование
Императи́вное программи́рование — это парадигма программирования (стиль написания исходного кода компьютерной программы), для которой характерно следующее.
Новый!!: Полнота по Тьюрингу и Императивное программирование · Узнать больше »
Вычислимая функция
Вычислимые функции — это множество функций вида, f\colon N \to N, которые могут быть реализованы на машине Тьюринга.
Новый!!: Полнота по Тьюрингу и Вычислимая функция · Узнать больше »
Логическое программирование
Логи́ческое программи́рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.
Новый!!: Полнота по Тьюрингу и Логическое программирование · Узнать больше »