TY - RPRT TI - Separating Words from Every Start State with Horner Automata AU - Nicholas Tran PY - 2023 DO - 10.4204/eptcs.386.19 UR - https://arxiv.org/abs/2309.02766 ID - 2309.02766 ER -