Множество состояний автомата: теоретические основы и примеры