Сложно сказать какой процент программистов с ней знаком и ещё сложнее сказать, кто её использует на практике. Помнится, когда мы проходили это в институте и решали малопонятные задачки, казалось, что это как-то абстрактно и далеко от нас...

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