TY - RPRT TI - Automata finiteness criterion in terms of van der Put series of automata functions AU - Vladimir Anashin PY - 2011 DO - 10.1134/s2070046612020070 UR - https://arxiv.org/abs/1112.5089 ID - 1112.5089 ER -