Конечные автоматы: эквивалентность и поведение[Москва, "Наука"]