系统功能语言学在其发展过程中，逐步衍生了许多不同的流派，例如悉尼语法、加的夫语法、诺丁汉语法、马德里语法等等。其中，影响最大的首推以韩礼德为代表的悉尼语法，其次则为福塞特为代表的加的夫语法。从上个世纪80年代开始，Butler等人就开始研究加的夫语法，并把它与悉尼语法进行对比分析。国内学者在21世纪初，以黄国文、何伟等为代表的学者们开始引入介绍加的夫语法，同时对该语法的系统研究也随后开展起来。理论发展的最终目的是为实践服务的，深入的理论研究可以更好地指导实践发展。作为系统功能语言学最新的理论发展代表，加的夫语法对先前的系统功能语法做了新的改变，了解这些改变对于更深入的实践研究有十分重要的意义。本文以加的夫语法的句法理论为理论框架，以悉尼语法的句法理论为比较对象，以计算机语言编程语言为载体，采用比较分析的方法系统分析加的夫语法句法理论的新发展以及形式化的方法，尝试研究以下一个问题：1.在句法分析过程中加的夫语法对悉尼语法作了哪些改变？2.这些改变相比之前的悉尼语法有哪些进步？3.加的夫语法的句法理论能否运用到具体的实践中？如果能，具体体现在哪些方面？通过本文研究，结果表明：第一，在句法范畴上，悉尼语法把小句分为单位、类、结构和系统而加的夫语法把小句分为单位、成分和形式项；在体现规则上，加的夫语法简化了体现规则只有组合、重合、填充和说明四种；在小句分析上，加的夫语法采取了不同于悉尼语法框形图的树形图来分析小句；最后，加的夫语法还提出了“位置”这一新的概念。第二，福塞特的加的夫语法是建立在形式基础上的功能语法，他对小句的每个结构成分都做了详细分析，而且每个成分都被赋予了基于形式的语法功能。这就弥补了悉尼语法只对小句的功能结构分析而对成分的分析很少涉及的不足。第三，通过对计算机编程语言的研究发现，加的夫语法在句法分析过程中所采取的分析方法和计算机编程语言在许多方面存在偶合，一些理论甚至有重合的地方。另外，加的夫语法又是一种生成语法。这样可以看出该语法相比较于悉尼语法是一种借助于计算机更能实现的语法模式。也为计算机编程语言的发展研究提供了一个新的研究视角。总之，通过对加的夫语法的句法应用研究，一方面理论上有助于对系统功能语言学中两个主要语法模式有了系统深入的了解，也对加的夫语法的优越性有了一定了解。另一方面从实践上来说为计算机编程语言提供了一个新的研究视角。然而，本文只是从理论上做了试探性的研究，而真正实践研究还需要更多的努力。