TY - RPRT TI - Synchronizing non-deterministic finite automata AU - Henk Don AU - Hans Zantema PY - 2017 UR - https://arxiv.org/abs/1703.07995 ID - 1703.07995 ER -