Nama yang benar untuk parser keturunan rekursif yang menggunakan loop untuk menangani rekursi kiri?

Tata bahasa ini dibiarkan rekursif:

Expression  ::= AdditionExpression

AdditionExpression  ::=
    MultiplicationExpression
        | AdditionExpression '+' MultiplicationExpression
        | AdditionExpression '-' MultiplicationExpression

MultiplicationExpression    ::=
    Term
        | MultiplicationExpression '*' Term
        | MultiplicationExpression '/' Term

Term    ::=
    Number
        | '(' AdditionExpression ')'

Number  ::=
    [+-]?[0-9]+(\.[0-9]+)?

Jadi secara teori, keturunan rekursif tidak akan berhasil. Tetapi dengan mengeksploitasi sifat-sifat tata bahasa yang sesuai dengan masing-masing aturan rekursif-kiri sesuai dengan tingkat presedensi tertentu, dan bahwa melihat-lihat token tunggal sudah cukup untuk memilih produksi yang benar, aturan rekursif kiri dapat secara individual diuraikan dengan sementara loop.

Misalnya, untuk mem-parsing AdditionExpression non-terminal, pseudocode ini mencukupi:

function parse_addition_expression() {
    num = parse_multiplication_expression()
    while (has_token()) {
        get_token()
        if (current_token == PLUS)
            num += parse_multiplication_expression()
        else if (current_token == MINUS)
            num -= parse_multiplication_expression()
        else {
            unget_token()
            return num
        }
    }
    return num
}

Apa nama yang tepat untuk tipe parser ini? Artikel informatif ini hanya menyebutnya sebagai "Solusi Klasik": https://www.engr.mun.ca/~theo/Misc/exp_parsing.htm

Harus ada nama yang tepat untuk jenis parser ini.

Ini hanya pengurai LL (1) yang diimplementasikan dengan turunan rekursif.

Dimulai dengan:

AdditionExpression  ::=
    MultiplicationExpression
        | AdditionExpression '+' MultiplicationExpression
        | AdditionExpression '-' MultiplicationExpression

menerapkan penghapusan rekursi kiri untuk mendapatkan tata bahasa LL (1):

AdditionExpression  ::= 
    MultiplicationExpression AdditionExpressionTail

AdditionExpressionTail ::=
        | '+' MultiplicationExpression AdditionExpressionTail
        | '-' MultiplicationExpression AdditionExpressionTail

tulis fungsi yang sesuai:

function parse_AdditionExpression() {
    parse_MultiplicationExpression()
    parse_AdditionExpressionTail()
}

function parse_AdditionExpressionTail() {
    if (has_token()) {
        get_token()
        if (current_token == PLUS) {
            parse_MultiplicationExpression()
            parse_AdditionExpressionTail()
        } else if (current_token == MINUS) {
            parse_MultiplicationExpression()
            parse_AdditionExpressionTail()
        } else {
            unget_token()
        }
    }
}

hapus rekursi ekor:

function parse_AdditionExpressionTail() {
    while (has_token()) {
        get_token()
        if (current_token == PLUS)
            parse_MultiplicationExpression()
        else if (current_token == MINUS)
            parse_MultiplicationExpression()
        else {
            unget_token()
            return
        }
    }
}

Di barisan:

function parse_AdditionExpression() {
    parse_MultiplicationExpression()
    while (has_token()) {
        get_token()
        if (current_token == PLUS)
            parse_MultiplicationExpression()
        else if (current_token == MINUS)
            parse_MultiplicationExpression()
        else {
            unget_token()
            return
        }
    }
}

dan Anda baru saja menambahkan pemrosesan semantik untuk mendapatkan fungsi Anda.

Anda ingin melihat penguraian LL ( )$k$ . Artikel Wikipedia sebagian besar tidak berguna, tetapi pada dasarnya adalah turunan rekursif dengan simbol lookahead.$k$

Ada juga LL ( ) yang memungkinkan lookahead tanpa batas.$*$

Lihat di sini untuk ikhtisar yang komprehensif tentang seberapa kuat kelas parser ini.