[发明专利]程序语句形式化转换的方法及装置

摘要

本发明实施例提供一种程序语句形式化转换的方法及装置。该方法包括：获取待转换的程序语句对应的语法结构；根据程序语句对应的语法结构，确定程序语句的类型；根据程序语句的类型，生成程序语句对应的逻辑表达式；其中，程序语句对应的逻辑表达式用于表示程序语句的任意一个输出变量值与各输入变量值之间的关系。本发明实施例提供的程序语句形式化转换的方法及装置，通过获取待转换的程序语句对应的语法结构，根据程序语句对应的语法结构，确定程序语句的类型；根据程序语句的类型，生成程序语句对应的逻辑表达式，实现了将程序语句自动转化为对应的逻辑表达式，大大提高了程序语句转换为逻辑表达式的效率，节省了大量时间及人力。

主权项

1.一种程序语句形式化转换的方法，其特征在于，包括：获取待转换的程序语句对应的语法结构；根据所述程序语句对应的语法结构，确定所述程序语句的类型；根据所述程序语句的类型，生成所述程序语句对应的逻辑表达式；其中，所述程序语句对应的逻辑表达式用于表示所述程序语句的任意一个输出变量值与各输入变量值之间的关系；所述根据所述程序语句的类型，生成所述程序语句对应的逻辑表达式，包括：如果所述程序语句的类型为组合语句，则所述程序语句包括至少两个子语句；按照各子语句的执行顺序，将所述至少两个子语句划分为第三子语句和第四子语句，所述第三子语句在所述第四子语句之前；生成所述第三子语句和所述第四子语句分别对应的逻辑表达式；对所述第三子语句和所述第四子语句分别对应的逻辑表达式进行整合处理，生成所述程序语句对应的逻辑表达式；其中，对所述第三子语句和所述第四子语句分别对应的逻辑表达式进行整合处理，生成所述程序语句对应的逻辑表达式，包括：获取所述第三子语句对应的逻辑表达式中的各个子表达式构成的集合，得到所述第三子语句对应的关系集合Ω₁；获取所述第四子语句对应的逻辑表达式中的各个子表达式构成的集合，得到所述第四子语句对应的关系集合Ω₂；将与Ω₂中的某一输入变量的变量名一致的Ω₁中的输出变量对应的子表达式带入到Ω₂中，得到的新的关系集合Ω₂′；将Ω₁和Ω₂′中变量名一致的输出变量合并到Ω₂′，并将与Ω₂′中所有输出变量的变量名均不一致的Ω₁中的输出变量添加到合并后的Ω₂′，得到所述程序语句对应的关系集合Ω₃；根据所述程序语句对应的关系集合Ω₃，确定所述程序语句对应的逻辑表达式。