各位大大，编译中 parser 如何能够构建出自己的抽象语法？

大家好，最近想做一个可编程化的类似 cicd 那种流程控制项目

我个人比较菜，想先做个简单的 demo，想要实现如下这样的效果：

def task1(file):
    ffmpeg -i file -o file.mp4 # etc. 

def task2(file):
    # do something else

def workflow(folder):
    foreach file in folder:
        task1(file)
        task2(file)

↑ 想要实现的是比如往程序里输入这样一个配置文件（ python 语法抽象比较简洁，姑且先用类似的语法了）然后程序就会按照我设定好的这一套工作流程，按顺序执行所有设定好的工作。

要让程序理解输入的工作流程描述文件，需要进行简单的词法和文法分析，然后抽象成 ast，因为只是个简单的 demo，里面没有什么复杂的东西，只要能实现定义与循环执行就可以了，甚至不需要表达式计算的功能

按我理解，我的算法流程应该是这样的 1、先是词法分析（这个已经搞定了）， 2、然后把代码分成一段一段的（比如类似 python 这种按照缩进分段，或者用{}表示，还没想好） 3、然后我需要抽象出一种当前语言的元语法

#比如
stmt : stmt expr
expr : (expr)
expr : NODE

这种感觉的，（就是编译原理课上教的那种） 4、再然后实现一个 LL1 算法，对每段分别处理，就能 parse 出抽象语法树了。

现在的一个犯难是并不知道怎么抽象出这种元语法（甚至在这种只有定义和调用、以及循环的简单情况下）当初编译原理上的课都还给老师了，唉现在还记得比如如果单纯要写一个描述运算表达式的元语法是很简单的，大概类似这样：

expr : (expr)
expr : expr + expr
expr : expr * expr
expr : expr - expr
expr : expr / expr
expr : NODE
expr : -NODE

这种感觉，然后实际操作的时候类似一个简单的栈虚拟机就能搞定表达式运算，这个很简单。但是这种有定义有调用的元语法该怎么写啊，老师当初也没讲过例子啊，啊啊啊啊啊啊啊啊啊啊啊啊

black11black

2020-02-17 17:30:32 +08:00

@secondwtq

ORZ 好长，翻跪了

program -> { [ def | statement ] EOL }
def -> "def" IDENTIFIER "(" IDENTIFIER ")" : block
block -> "{" statement { EOL statement } "}"
statement -> "foreach" STRING "in" IDENTIFIER ":" block | simple
simple -> { IDENTIFIER } | IDENTIFIER '(' IDENTIFIER ')' | IDENTIFIER '=' STRING

↑ 所以现在我感觉我设计的语法应该可以抽象成这样
只有 define，循环，执行三个功能，没有 expr 计算。

然后问题是，这东西咋搞成 LL1parser 啊，看了看感觉全是左循环左因子

网上看了个例子，简单的 expr 运算拆成 LL1 就要写这么长了：

s->e
e->te'
e'->+te'
e'->-te'
e'->空
t->ft'
t'->*ft'
t'->/ft'
t'->空
f->NUMBER
f->'('e')'

感觉上面的要改的话要写死自己啊。。

各位大大，编译中 parser 如何能够构建出自己的 抽象语法？

各位大大，编译中 parser 如何能够构建出自己的抽象语法？