Картинки из квадратов \ О гармоническом \ Бинарность \ Полные бинарные деревья \

10.4.4.7. Граф состояний автомата
на основе Дерева

Ниже приведен граф состояний автомата, ассоциированный с системой SQ+0, ∞ (которая рассматривается как некоторый "автомат"). Граф построен путем дорисовки к Calkin-Wilf Tree еще двух вершин (0/1 и 1/0) и четырех связанных с ними дуг, две из которых являются петлями. Предполагается, что все дуги, не являющиеся петлями, ориентированы сверху вниз. Предполагается также, что каждая красная дуга помечена символом V, а каждая синяя дуга помечена символом H.
Разумеется, здесь приведена только часть графа состояний, отвечающая Calkin-Wilf Tree, дорощенному до 4-го уровня. Полный граф состояний будет бесконечным. Определение понятия "граф состояний автомата" см. здесь.