Группирование состояний с одними и теми же исходящими переходами позволяет сократить количество переходов. В этом состоит начальная интерпретация иерархии, на уровне состояний. Вложенные состояния воспринимают лишь определенное подмножество входного и выходного алфавитов. Читать далее