Данный функционал позволяет отправлять на клиент структурное описание графовой модели для последующей визуализации и интерактивной работы.
Граф представляется в виде словаря со следующей структурой:
graph: {
	'init_state_name': {
		'subgraph': None/{subgraph},
		'connect_to': [{'next': next_state_name, 'morph_f': morphism, 'pred_f': predicate}, ...] // здесь отобразаются связи вершины с другими вершинами
	},
	'state_name2': {...},
	...
	'term_state_name': {...}
}

Данный словарь заполняется во время парсинга adot-файла. Не зависит от режима парсинга: c генарацией cpp или без.