显示S是算术级数，然后A可以被识别为语言

Question

如果存在一些整数n和p，那么非负整数的集合S称为算术进程

S = {n + ip：i≥0}

设A A {a} *并考虑S = {| x |：x∈A}。

（1）证明如果S是算术级数，那么A可以被

识别

DFA

（2）证明如果A可以被DFA识别，则S是有限数量的算术的并集