TY - RPRT TI - Deciding Word Problems of Semigroups using Finite State Automata AU - Max Neunhöffer AU - Markus Pfeiffer AU - Nik Ruskuc PY - 2019 UR - https://arxiv.org/abs/1206.1714 ID - 1206.1714 ER -