Формализованное описание работы автомата: схемы и иллюстрации