Open AccessDeriving Synchronizing and Homing Sequences for Input/Output Automata
Author(s) -
Natalia Kushik,
Н. В. Евтушенко,
Igor Burdonov,
Александр Сергеевич Косачев
Publication year - 2017
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2017-6-730-742
Subject(s) - synchronizing , automaton , disjoint sets , finite state machine , alphabet , computer science , homing (biology) , sequence (biology) , class (philosophy) , algorithm , theoretical computer science , strongly connected component , mathematics , discrete mathematics , topology (electrical circuits) , combinatorics , artificial intelligence , ecology , linguistics , philosophy , genetics , biology