Расширенные конечные автоматы: теоретические основы и практические применения