Логика, автоматы, алгоритмы

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