TY - RPRT TI - Subset Synchronization and Careful Synchronization of Binary Finite Automata AU - Vojtěch Vorel PY - 2016 UR - https://arxiv.org/abs/1403.3972 ID - 1403.3972 ER -