[发明专利]使用子例程图谱进行形式语言处理的方法和系统

说明书

一种用于在由计算装置实现的形式语言处理期间处理基于子例程结构化图谱的中间表示的方法。该方法包括：根据一组子例程中的子例程之间的相互递归关系，对在代码的中间表示中标识所述组子例程进行分类；记录相互递归关系；标记以跟踪所述相互递归关系；构造一组图谱表示；收集用于区分所生成的代码中的动作点的部分位置；标记中间表示的图谱的节点；通过前序深度优先遍历来序列化所述中间表示的图谱，生成随后的中间表示；以及根据所述中间表示创建所生成的代码。

相关申请的交叉引用

本申请要求在2019年2月19日提交的美国临时申请No.62/807,704的权益，该申请在此通过引用并入。

技术领域

在此示出和描述的本发明的实施例涉及形式语言处理(formal languageprocessing)。具体地，实施例提供了一种用于管理使用子例程图谱(subroutine graph)的形式语言源文件的中间表示的改进过程。

背景技术

形式语言翻译是将源语言变换成目标语言的过程。形式语言翻译涉及解析、构造以有利于分析处理的形式捕捉语言特征的数据结构、将数据结构变换成其它数据结构以适于进一步处理以及生成目标代码。该过程是从以下理解开发的，即，解析(语法分析)可以被形式化、自动化，并且输入可以被变换成有用的数据结构以供进一步分析。解析被扩展到语法树的处理。稍后介绍通过引入特殊令牌(即UP和DOWN令牌)从语法树构造令牌流，以指定树结构和“假想”令牌以捕获其它语法结构，所述其它语法结构可以与从词法分析(解析字母数字和其它字符的流以构造令牌)导出的更普通的令牌相交织。添加图谱结构化令牌以使得能够进行图谱解析，以便变换和分析通常在编译器中找到的图谱表示，例如控制流图谱、数据流图谱和Petri网。语言处理工具是软件开发的基础；语言翻译处理的自动化加快并加强了复杂软件的开发。

解析(也称为语法分析)是分析可以是串或类似格式的一组符号的过程，其中“串”是项目的序列，在这种情况下是序列有限的符号，并且这些符号是从称为字母表的一组可能的符号中选择的。解析过程可应用于自然语言、计算机语言和包括DNA序列的类似系统。解析过程应用一组形式语法规则，该规则专用于所处理的语言。解析过程是计算机实现的过程，并且该术语在计算机科学领域理解的意义上使用，并且更具体地在计算语言学领域内使用。

在计算语言学中，解析过程还被理解为用于指计算机处理器和程序对自然或计算机语言中的句子或其它单词串的形式分析，其中句子或串被分类成其组成部分，从而产生解析树，其显示了每个组成部分与每个其它组成部分的语法关系。这个解析树也可以包含关于正被处理的句子或单词串的语义信息和其它相关信息。

在计算机科学内的一些应用中，解析过程用于计算机语言的分析，并且涉及将输入代码语法分析为其组成部分，以便进行编译器和/或解释器的后续功能，这些编译器和/或解释器用于将以一种计算机语言编写的代码转换为可执行形式，即计算机处理器能够执行的计算机语言。

发明内容