Конечные автоматы в теории алгебраических моделей программ. Материалы IX Международной конференции "Интеллектуальные системы и компьютерные наукистатья