Для цитирования:

Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. О разделимости входо-выходных полуавтоматов с недетерминированным поведением . Электронные библиотеки. 2020;23(4):634-655. https://doi.org/10.26907/1562-5419-2020-23-4-634-655

For citation:

Burdonov I.B., Yevtushenko N.V., Kossachev A.S. Separating Input/Output Automata With Nondeterministic Behavior. Russian Digital Libraries Journal. 2020;23(4):634-655. (In Russ.) https://doi.org/10.26907/1562-5419-2020-23-4-634-655