РАЗДЕЛ:  Computer Scienc.../ Теоретическое программирование/ Алгебраическая теория языков и автоматов/