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