[發明專利]差階邏輯表達式的編譯方法、裝置、電子設備和存儲介質

有效

• 申請號: 202310096154.4
• 申請日: 2023-01-18
• 公開（公告）號: CN115794121B
• 公開（公告）日: 2023-05-26
• 發明（設計）人: 張寅生
• 申請（專利權）人: 中國科學技術信息研究所
• 主分類號: G06F8/41
• 分類號: G06F8/41
• 代理公司: 北京市立方律師事務所 11330
• 代理人: 張筱寧

1.一種差階邏輯表達式的編譯方法，其特征在于，包括：

獲取待編譯的對象語言，根據預設的語義模型所確定的終結符的符號域，從所述對象語言中篩選出參考符號序列作為詞素；

建立語義分類標記集合，確定所述語義分類標記之間的映射關系，或每一語義分類標記與詞素之間的映射關系；

建立文法模型，基于所述映射關系建立映射集；

應用所述文法模型對所述詞素進行解析：識別和或生成符合文法模型的詞素與語義分類標記之間的映射關系；其中，所述語義分類標記構成中間符，并構成命題參量；

根據所述語義分類標記和所述命題參量確定差階邏輯命題表達式類型；

將所述語義分類標記中的命題表達式類型轉化為終結符，得到差階邏輯命題,或在未能得到差階邏輯命題時輸出中斷信息；其中，所述差階邏輯命題包括低階邏輯命題和高階邏輯命題中的至少一項。

2.根據權利要求1所述的方法，其特征在于，所述文法模型中的映射集表征文法解析方法中解析的對象和結果；映射集的構成元素表征差階邏輯表達式的映射關系；

所述將語義分類標記中的命題表達式類型轉化為終結符，得到差階邏輯命題，包括：

基于文法模型中的映射集構建語法樹；將所述差階邏輯命題表達式類型作為根節點，將所述映射集確定的被根節點映射的元素作為子節點；所述子節點包括表征構成所述差階邏輯命題的謂詞、項、量詞、命題類型和邏輯運算符的表達式中的至少一項；

如果從所述根節點開始的語法樹節點中的中間符都按照映射集所指示的映射轉換為終結符，則得到了差階邏輯命題，即完成一個差階命題的編譯；如果未能完全延伸至終結符，即節點按照映射集中的映射關系進行的映射結果無法覆蓋差階邏輯命題類型對應的表達式參量，或無法覆蓋構成該命題類型所必須的語義分類標志或詞素，則在映射中斷時生成中斷信息。

3.根據權利要求2所述的方法，其特征在于，所述映射集的構成元素是表達式的映射關系，所述表達式包括差階邏輯聲明表達式、差階邏輯賦值表達式和差階邏輯命題表達式中的至少一項；

其中，所述差階邏輯聲明表達式為由聲明符、標識符表示符號和或表達式參量構成線性結構，用于將該線性結構中標識符表示符號與被聲明的差階邏輯表達式參量構成映射關系，并將該映射關系加入所述映射集，該映射集用于在解析中，將標識符表示符號所表示的詞素替代該標識符表示符號，并賦予該映射關系中差階邏輯表達式參量的屬性；

所述差階邏輯賦值表達式為由已聲明的差階邏輯表達式參量與用戶輸入的參量、標識符、賦值符構成的線性結構，使得在解析中，將線性結構中的賦值與被賦值的結構作為映射關系加入所述映射集，該映射集用于在解析中，將被賦值的參量由賦值表達式所代替；

所述差階邏輯命題表達式表征差階邏輯命題類型的構成成分和結構，所述結構包括原子命題結構和復合命題結構；所述差階邏輯命題采用Lambda語言的形式結構。

4.根據權利要求1所述的方法，其特征在于，解析模型包括元數據結構，所述元數據結構表征所述映射集，用于對待編譯符號序列進行解析，生成目標語言；所述目標語言包括所述差階邏輯命題。

5.根據權利要求4所述的方法，其特征在于，所述元數據結構為EBNF格式。

6.根據權利要求5所述的方法，其特征在于，所述元數據結構的解析工具包括JavaCC，GCC，Haskell編譯工具中的至少一種。

7.根據權利要求4所述的方法，其特征在于，所述元數據結構識別和或生成至少一個差階邏輯命題表達式構成的子數據結構；所述差階邏輯命題表達式包括參量，所述參量包括謂詞，或帶有量詞、項、邏輯算符、命題中的至少一項；所述命題包括原子命題和復合命題；當所述命題表達式中的所有元素都映射到終結符，則構成該命題表達式在終結符中所對應的命題，即完成元數據結構識別和或生成一個差階邏輯命題子數據結構，亦即完成一項對所述差階邏輯命題的解析。