gaochong1111 / qmc

qmc
1 stars 0 forks source link

qmc parser修改方案 #1

Open gaochong1111 opened 5 years ago

gaochong1111 commented 5 years ago

修复之前确认的语法问题

熟悉javacc对应语法规则描述文件

Token分类,语法产生式描述,action代码逻辑(应该已经包含语义分析逻辑)

了解QMCParser解析后的内部表示

语法树表示或者语义模型的描述结构

制定初步修改方案

语法修改点:

适配qmc-ltl parser

TinyYan commented 5 years ago
  1. 将M0,M1,M2,...Mn都定义为关键字
  2. 将数学函数与量子门从关键字中去掉,变为动态加载(需要看javacc能支持到什么程度)