Email Record: Конечные автоматы: эквивалентность и поведение