TY - RPRT TI - Unary finite automata vs. arithmetic progressions AU - Anthony Widjaja To PY - 2008 UR - https://arxiv.org/abs/0812.1291 ID - 0812.1291 ER -