Яворская Т.Л. - Математическая логика - 15. Теория алгоритмов
Automata: как математики XX века изобрели язык для разговора с машинами
Представьте себе 1936 год. Европа на пороге войны, но в тихих кабинетах университетов происходит интеллектуальная революция, которая изменит мир сильнее любых армий. Молодой английский математик Алан Тьюринг задаётся вопросом, который кажется чисто философским: что такое вычисление? Можно ли формально описать, что значит «решить задачу»? Тьюринг не знает, что его размышления заложат фундамент компьютерной эры. Он придумывает воображаемую машину — бесконечную ленту с символами и считывающую головку, которая может двигаться влево-вправо, читать символы и записывать новые...
Чуть чуть о "теории автоматов".
Сложно сказать какой процент программистов с ней знаком и ещё сложнее сказать, кто её использует на практике.
Помнится, когда мы проходили это в институте и решали малопонятные задачки, казалось, что это как-то абстрактно и далеко от нас...