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

Дж. Фон Нейман общая и логическая теория автоматов