形式语法,例如:有限态自动机,上下文自由语法或者文字网络
注册成为会员可查看更多数据。