Не хочу ничего знать об автомате, потому что умею ездить на ручке.
Автомат для неумех
Вы ж сами машину Тьюринга упоминали и наверняка знаете, что она равномощна с лямбда калкулусом. И одни вещи лучше выражаются в одном, другие -- в другом. Зачем вы пытаетесь поставить лямбды во главе стола, плохо понятно.