抽象状态机语言相关论文