当前软件系统开发一般基于一些高级专业编程语言,由专业程序员进行需求调研,系统设计及代码编写,系统测试等,开发工作大多由计算机专业编程人员完成。不仅开发成本高,而且有软件开发效率低等其它问题,另外非计算机专业人士对代码很少能全懂或根本看不懂,不能和编程人员进行很好的沟通,因而便不能确保软件的质量是否达到要求。基于以上原因,软件自动化技术可以使程序代码更加的标准化,并极大的提高软件开发效率。软件开发的形式化与软件开发的自动化都被认为是克服软件危机、提高软件开发效率的有效方法之一。形式化语言是计算机科学中一个重要的研究领域。文法为形式化语言提供了一种很有效的描述方法。因为文法是一种语言的生成规则,是阐明语法的一个工具。在本文中,设计了一种基于受限自然汉语的程序语言文法。此文法关键字使用C语言的部分关键字,程序主体的编写使用受限汉语。对于以上设计的受限自然语言文法的程序,开发了一个基于对话框的语法分析器对其进行语法分析。该语法分析器有四个部件组成,分词程序、词法分析、语法分析和语义预置。首先,对原受限汉语语言程序进行分词处理,该部分主要是对原受限汉语语句根据本文设计的词典和分词方法进行分词处理;其次,对于分词后的原程序进行词法分析,词法分析可以认为是编译处理的第一个阶段,如关键字是否正确以及受限语言分词后的字词进行详细的检测,并对词法分析结果进行了详细设计,即<字符类型,单词,中/英,关键字符号位/短语符号位>的四元式形式,以便进行后面的语法分析;再次,经过词法分析后结果是一系列的(token)字符串,语法分析可以根据前文设计的程序文法以及受限语句规则对源程序进行语法分析;最后,是对于通过词法分析和语法分析正确的原程序中受限语句进行预置语义处理,即对于受限语句中的词语,自动的调用字典中已存在的各个词语的预置语义,不仅加快的代码的自动生成,更重要的是生成代码更加的标准化。因此,对于符合本文文法规则的受限自然语言程序,通过本文设计的语法分析器分析处理;最后对于原受限语言程序,保持原有的程序结构,而对于受限语句种的词语调用词典的预置语义,最后生成预置语义序列码可以更好的向C语言转换,向软件自动生成迈进一步。经过测试用例的分析,达到了初步设计要求。