TY - RPRT TI - Undecidability and Finite Automata AU - Jörg Endrullis AU - Jeffrey Shallit AU - Tim Smith PY - 2017 UR - https://arxiv.org/abs/1702.01394 ID - 1702.01394 ER -