增加有穷自动机的实现