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