Проектирование конечных автоматов по методу OHE