Абстрактные цифровые автоматы
По индукции нетрудно показать, что любое входное слово конечной длины, поданное на входы автоматов SA и SB, установленных в состояния am, вызовет...
1.6 Минимизация числа внутренних состояний автомата . Алгоритм Ауфенкампа-Хона.