交付三：四种语句

👁️ 1 人浏览 💬 0 人评论 ❤️ 添加收藏

（每道题开头都有同一段：T() 是上一站 lexer 的替身——源码里 token 之间用空格分开，它切成 (kind, text, line, col)；show() 把树写成一行：二元运算全加括号，语句之间用 |。）

玩具语言的文法（八节共用）：program := stmt*；stmt := "let" IDENT "=" expr ";" | IDENT "=" expr ";" | "if" "(" expr ")" block ("else" block)? | "while" "(" expr ")" block；block := "{" stmt* "}"；expr := comparison；comparison := sum ((">=" | "<=" | "==" | "!=" | "<" | ">") sum)?；sum := term (("+" | "-") term)*；term := factor (("*" | "/") factor)*；factor := NUMBER | STRING | IDENT | "(" expr ")"。

从零写出 stmt：看开头分 let / if / while / 赋值四路（block 已给）。

提交你的答案

请登录后提交答案。

去登录

← 交付二：sum 和 comparison 交付四：block 和 program →

更多题目

代码编辑器

语言： Ctrl + Enter 运行

KEYWORDS = ("let", "if", "else", "while")
CMP = (">=", "<=", "==", "!=", "<", ">")

def T(src):
    toks = []
    for ln, line in enumerate(src.split("\n"), 1):
        pos = 0
        for w in line.split():
            pos = line.index(w, pos)
            if w in KEYWORDS:
                k = "KEYWORD"
            elif w[0] == '"':
                k = "STRING"
            elif w.isdigit():
                k = "NUMBER"
            elif w[0].isalpha() or w[0] == "_":
                k = "IDENT"
            else:
                k = "OP"
            toks.append((k, w, ln, pos + 1))
            pos += len(w)
    toks.append(("EOF", "", ln, pos + 1))
    return toks

class ParseError(Exception):
    def __init__(self, want, got, line, col):
        super().__init__("期待「" + want + "」遇到「" + got + "」@" + str(line) + ":" + str(col))
        self.want, self.got, self.line, self.col = want, got, line, col

def show(n):
    if n[0] == "num" or n[0] == "var":
        return str(n[1])
    if n[0] == "str":
        return '"' + n[1] + '"'
    if n[0] == "bin":
        return "(" + show(n[2]) + n[1] + show(n[3]) + ")"
    if n[0] == "let":
        return "let:" + n[1] + "=" + show(n[2])
    if n[0] == "assign":
        return n[1] + "=" + show(n[2])
    if n[0] == "if":
        s = "if[" + show(n[1]) + "]{" + ";".join(show(x) for x in n[2]) + "}"
        if n[3] is not None:
            s += "else{" + ";".join(show(x) for x in n[3]) + "}"
        return s
    if n[0] == "while":
        return "while[" + show(n[1]) + "]{" + ";".join(show(x) for x in n[2]) + "}"
    if n[0] == "program":
        return "|".join(show(x) for x in n[1])
    return "?"

class Parser:
    def __init__(self, toks):
        self.toks = toks
        self.i = 0

def peek(self):
        return self.toks[self.i]

def advance(self):
        t = self.toks[self.i]
        self.i += 1
        return t

def at(self, text):
        return self.peek()[1] == text

def expect(self, text):
        t = self.peek()
        if t[1] != text:
            raise ParseError(text, t[1] or "文件结尾", t[2], t[3])
        return self.advance()

def expect_kind(self, kind):
        t = self.peek()
        if t[0] != kind:
            raise ParseError(kind, t[1] or "文件结尾", t[2], t[3])
        return self.advance()

def program(self):
        stmts = []
        while self.peek()[0] != "EOF":
            stmts.append(self.stmt())
        return ("program", stmts)

def stmt(self):
        # TODO: let / if / while / assign
        raise ParseError("语句", "", 0, 0)

def block(self):
        self.expect("{")
        stmts = []
        while not self.at("}"):
            if self.peek()[0] == "EOF":
                self.expect("}")
            stmts.append(self.stmt())
        self.expect("}")
        return stmts

def expr(self):
        return self.comparison()

def comparison(self):
        left = self.sum_()
        if self.peek()[1] in CMP:
            op = self.advance()[1]
            right = self.sum_()
            return ("bin", op, left, right)
        return left

def sum_(self):
        left = self.term()
        while self.peek()[1] in ("+", "-"):
            op = self.advance()[1]
            right = self.term()
            left = ("bin", op, left, right)
        return left

def term(self):
        left = self.factor()
        while self.peek()[1] in ("*", "/"):
            op = self.advance()[1]
            right = self.factor()
            left = ("bin", op, left, right)
        return left

def factor(self):
        t = self.peek()
        if t[0] == "NUMBER":
            self.advance()
            return ("num", int(t[1]))
        if t[0] == "STRING":
            self.advance()
            return ("str", t[1][1:-1])
        if t[0] == "IDENT":
            self.advance()
            return ("var", t[1])
        if t[1] == "(":
            self.advance()
            e = self.expr()
            self.expect(")")
            return e
        raise ParseError("表达式", t[1] or "文件结尾", t[2], t[3])

for s in ["let rate = 12 ;", "total = rate >= 3 ;", "if ( x ) { y = 2 ; } else { y = 3 ; }", "while ( i < 3 ) { i = i + 1 ; }"]:
    print(show(Parser(T(s)).stmt()), end="|")

本次输入：

输出：

👩‍🏫

AI

💬 题目评论

全部评论