О локальной обратимости лямбда-автоматовдипломная работа (Бакалавр)