研究生成语法的公理化方法
 
      冯志伟从公理化方法的角度来研究乔姆斯基的形式文法，他把乔姆斯基的形式文法同数学中的半图厄系统(semi-Thue system)相比较，指出了乔姆斯基的形式文法，不过是数学中的公理系统理论在语言分析中的应用而已，语言就是由文法这一公理系统从初始符号出发推导出的无限句子的集合；文法的规则是有限的，文法中的终极符号和非终极符号的数目也是有限的，可是，由于语言符号具有递归性，文法这一公理系统就能够根据有限的符号，通过有限的重写规则，递归地推导出无限的句子来。冯志伟的研究，从数学的基础理论方面揭示了形式文法的实质。