Описание выходного файла:
'digauto': [имя_узла|(код)]
'exprs': {имя_триггера: {D-дизъюктивная или C-коньюктивная, уравнения входов тригеров, количество использемых элементов}}
'gates': общее число используемых элементов, по этому числу оценивается автомат.
Efifi 4 1 #Имя_графа размерность_памяти размерность_входного_сигнала
A1 A3 0 #Имя_узла1 имя_узла2 входной сигнал для перехода из узла1 в узел2
A1 A2 1
A10 A2 1
…
A9 A1 1
A9 A10 0
Выходной файл:
{'digauto':
['A5|(0, 0, 0, 0)', 'A8|(0, 0, 0, 1)', 'A6|(0, 0, 1, 0)', 'A9|(1, 0, 0, 1)', 'A3|(0, 1, 0, 1)', 'A4|(1, 0, 0, 0)', 'A1|(0, 1, 1, 1)', 'A2|(0, 1, 0, 0)', 'A7|(0, 1, 1, 0)', 'A10|(0, 0, 1, 1)'],
'exprs':
{'D0': {'form': 'D', 'expression': (v1 & ~v5) | (v2 & v5 & ~v4) | (v3 & ~v2 & ~v4), 'num_gates': 7},
'D1': {'form': 'C', 'expression': v4 & (v3 | ~v2 | ~v5), 'num_gates': 3},
'D2': {'form': 'D', 'expression': v4 & ~v3, 'num_gates': 1},
'D3': {'form': 'C', 'expression': (v3 | ~v2) & (~v3 | ~v4 | ~v5), 'num_gates': 4}},
'gates': 15}
Описание выходного файла:
'digauto': [имя_узла|(код)]
'exprs': {имя_триггера: {D-дизъюктивная или C-коньюктивная, уравнения входов тригеров, количество использемых элементов}}
'gates': общее число используемых элементов, по этому числу оценивается автомат.