

В 1934 году выдающийся советский математик и основатель теории алгоритмов П. В. Тюрин (Пётр Аркадьевич Урысон) обнаружил две формы, которые позволяют определить, является ли данный язык рекурсивным или нет. Эти формы получили название «Тюринские нормальные системы» и «Тюринские эквивалентные системы», соответственно.
Работа Тюрина в области теории алгоритмов началась ещё в конце 1920-х годов, когда он заинтересовался проблемой автоматического доказательства математических теорем с помощью методов вычислительной техники (компьютера). Однако на то время такой технологии еще не существовало, поэтому Тюрин был вынужден разработать свои собственные методы для решения этой проблемы на бумаге с помощью анализа логарифмической сложности функций рассмотрения и других инструментов из области ди