形式语言理论基础知识,确定有穷状态机理论基础及编程实现