Содержание
21 отношения: Brainfuck, JFLAP, Квантовая машина Тьюринга, ПостНаука, Нормальный алгоритм, Недетерминированная машина Тьюринга, Рекурсивная функция (теория вычислимости), Тьюринг, Алан, Тьюринговская трясина, Теория алгоритмов, Унарная система счисления, Универсальная машина Тьюринга, Хопкрофт, Джон, Чёрная дыра, Шень, Александр Ханиевич, Энтропия, Муравей Лэнгтона, Машина Поста, Вероятностная машина Тьюринга, Диаграмма Тьюринга, Лямбда-исчисление.
- Алан Тьюринг
- Модели вычислений
- Теоретическая информатика
- Теория автоматов
- Формальные методы
Brainfuck
Brainfuck — один из известнейших эзотерических языков программирования, придуман Урбаном Мюллером (Urban Müller) в 1993 году, известен своим минимализмом.
Посмотреть Машина Тьюринга и Brainfuck
JFLAP
JFLAP (Java Formal Languages and Automata Package) — свободная кроссплатформенная программа для экспериментов с различными объектами, встречающихся в теории формальных языков.
Посмотреть Машина Тьюринга и JFLAP
Квантовая машина Тьюринга
Квантовая машина Тьюринга (Quantum Turing machine; иногда — универсальный квантовый компьютер) — абстрактная машина, используемая для моделирования квантового компьютера.
Посмотреть Машина Тьюринга и Квантовая машина Тьюринга
ПостНаука
ПостНаука — интернет-журнал о современной фундаментальной науке и учёных, которые её создают, о популяризации научных знаний.
Посмотреть Машина Тьюринга и ПостНаука
Нормальный алгоритм
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга).
Посмотреть Машина Тьюринга и Нормальный алгоритм
Недетерминированная машина Тьюринга
В теоретической информатике недетерминированная машина Тьюринга — машина Тьюринга, функция перехода которой представляет собой недетерминированный конечный автомат.
Посмотреть Машина Тьюринга и Недетерминированная машина Тьюринга
Рекурсивная функция (теория вычислимости)
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций.
Посмотреть Машина Тьюринга и Рекурсивная функция (теория вычислимости)
Тьюринг, Алан
А́лан Мэ́тисон Тью́ринг, OBE (Alan Mathison Turing; —) — английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики.
Посмотреть Машина Тьюринга и Тьюринг, Алан
Тьюринговская трясина
Тьюринговская трясина — жаргонное общее название для языков программирования, которые Тьюринг-полны, но обладают крайне примитивными синтаксисом и семантикой.
Посмотреть Машина Тьюринга и Тьюринговская трясина
Теория алгоритмов
Тео́рия алгори́тмов — наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления.
Посмотреть Машина Тьюринга и Теория алгоритмов
Унарная система счисления
Уна́рная (едини́чная, ра́зная) систе́ма счисле́ния — непозиционная система счисления с единственной цифрой, обозначающей 1.
Посмотреть Машина Тьюринга и Унарная система счисления
Универсальная машина Тьюринга
Универсальной машиной Тью́ринга называют машину Тьюринга, которая может заменить собой любую машину Тьюринга.
Посмотреть Машина Тьюринга и Универсальная машина Тьюринга
Хопкрофт, Джон
Джон Эдвард Хопкрофт (John Edward Hopcroft, 7 октября 1939 года, Сиэтл, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Посмотреть Машина Тьюринга и Хопкрофт, Джон
Чёрная дыра
Компьютерная симуляция слияния двух чёрных дыр, от которого впервые были зарегистрированы гравитационные волны Чёрная дыра́ — область пространства-времени, гравитационное притяжение которой настолько велико, что покинуть её не могут даже объекты, движущиеся со скоростью света, в том числе кванты самого света.
Посмотреть Машина Тьюринга и Чёрная дыра
Шень, Александр Ханиевич
Александр Ханиевич Шень (род. 31 декабря 1958, Москва) — российский и французский математик, учёный в области информатики, педагог, популяризатор науки.
Посмотреть Машина Тьюринга и Шень, Александр Ханиевич
Энтропия
Энтропи́я (от ἐν — «в» и τροπία — «поворот», «превращение») — широко используемый в естественных и точных науках термин.
Посмотреть Машина Тьюринга и Энтропия
Муравей Лэнгтона
Муравей Лэнгтона — это двумерный клеточный автомат с очень простыми правилами, изобретенный Крисом Лэнгтоном.
Посмотреть Машина Тьюринга и Муравей Лэнгтона
Машина Поста
Маши́на По́ста — абстрактная вычислительная машина, предложенная Эмилем Постом в 1936 году, создана независимо от машины Тьюринга, но сообщение о машине Поста опубликовано на несколько месяцев позднее.
Посмотреть Машина Тьюринга и Машина Поста
Вероятностная машина Тьюринга
Обобщение детерминированной машины Тьюринга, в которой, из любого состояния и значений на ленте, машина может совершить один из нескольких (можно считать, без ограничения общности — двух) возможных переходов, а выбор осуществляется вероятностным образом (подбрасыванием монетки) Вероятностная Машина Тьюринга похожа на недетерминированную машину Тьюринга, только вместо недетерминированного перехода машина выбирает один из вариантов с некоторой вероятностью.
Посмотреть Машина Тьюринга и Вероятностная машина Тьюринга
Диаграмма Тьюринга
Диаграмма Тьюринга — графический способ описания работы машины Тьюринга.
Посмотреть Машина Тьюринга и Диаграмма Тьюринга
Лямбда-исчисление
Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.
Посмотреть Машина Тьюринга и Лямбда-исчисление
См. также
Алан Тьюринг
- ACE
- Banburismus
- Bombe
- Turing Pharmaceuticals
- Вычислительные машины и разум
- Гуд, Ирвинг Джон
- Закон Алана Тьюринга
- Машина Тьюринга
- Национальная физическая лаборатория Великобритании
- Премия Тьюринга
- Рекурсивно перечислимый язык
- Тезис Чёрча — Тьюринга
- Тезис Чёрча — Тьюринга — Дойча
- Тест Тьюринга
- Тьюринг, Алан
- Тьюринговская трясина
Модели вычислений
- CARDboard Illustrative Aid to Computation
- P′′
- URISC
- Абстрактный автомат
- Автомат Мили
- Автомат с магазинной памятью
- Агентное моделирование
- Аппликативные вычислительные системы
- Бильярдный компьютер
- Биокомпьютер
- Вероятностная машина Тьюринга
- Вычисления с памятью
- ДНК-компьютер
- Диаграмма состояний (теория автоматов)
- Категориальная абстрактная машина
- Лямбда-исчисление
- Машина Зенона
- Машина Поста
- Машина Тьюринга
- Модель вычислений
- Нормальный алгоритм
- Обратимые вычисления
- Оптический компьютер
- Сеть Петри
- Сеть процессов Кана
- Состояние (информатика)
- Теорема Бёма — Якопини
- Тьюрмиты
Теоретическая информатика
- INRIA
- Алгоритм
- Естественная информатика
- Идемпотентность
- Квантовое машинное обучение
- Квантовый алгоритм
- Класс сложности
- Коиндукция
- Комбинаторная оптимизация
- Корекурсия
- Лямбда-исчисление
- Массив Монжа
- Машина Тьюринга
- Наименьший общий предок
- Пи-исчисление
- Премия Гёделя
- Премия Кнута
- Рекурсивная функция
- Рекурсивное определение
- Система типов Хиндли — Милнера
- Спинтроника
- Теоретическая информатика
- Формальная верификация
- Формальные методы
- Формальный язык
Теория автоматов
- Абстрактный автомат
- Автомат с магазинной памятью
- Асинхронная логика
- Машина Тьюринга
- Распознаваемое подмножество моноида
- Расширенная сеть переходов
- Регулярные выражения
- Секвенциальная логика
- Теорема о раскраске дорог
- Теория автоматов
- Формальная грамматика
Формальные методы
- CompCert
- E-LOTOS
- Oracle Unified Method
- Rational Unified Process
- TLA⁺
- Автоматическое доказательство
- Гомотопическая теория типов
- Доказательные вычисления
- Задача выполнимости булевых формул
- Задача выполнимости формул в теориях
- Инвариант цикла
- Лямбда-исчисление
- Машина Тьюринга
- Принцип подстановки Лисков
- Семантика (программирование)
- Система типов Хиндли — Милнера
- Слабейшее предусловие
- Статический временной анализ
- Теория множеств
- Утверждение (программирование)
- Формальная верификация
- Формальная спецификация
- Формальные методы
Также известен как Тьюринга машина, Машина Тьюринга для умножения чисел, Детерминированная машина Тьюринга.