Модели конечных автоматов: теория и практическое применение