Аннотация:
Рассматривается кодирование состояний асинхронных автоматов, предназначенных ддя вычисления значений систем булевых функций посредством бинарных программ. Показано, что для достаточно широкого
класса систем булевых функций противогоночное кодирование состояний оказывается безызбыточным.
УДК:
621.391.1-503.5
Поступила в редакцию: 27.11.1985 После переработки: 12.06.1985