Конечные автоматы в программировании: примеры и реализация