Title | Recognizing Synchronizing Automata with Finitely Many Minimal Synchronizing Words is PSPACE-Complete |
Publication Type | Proceedings of international conferences (peer reviewed) |
Authors | Pribavkina EV, Rodaro E |
[2011-4] |
Area / Group:
Semigroups, Automata and Languages