RBMFAE BNF

<Expr> ::= <num>
         | {+ <Expr> <Expr>}
         | {- <Expr> <Expr>}
         | <id>
         | {fun {<id>} <Expr>}
         | {refun {<id>} <Expr>}
         | {<Expr> <Expr>}
         | {newbox <Expr>}
         | {setbox <Expr> <Expr>}
         | {openbox <Expr>}
         | {seqn <Expr> <Expr>}
         | {setvar <id> <Expr>}

 

이제 뭔가 많이 생겼다..

RBMFAE는 BFAE + Variables + Call-by-Reference 이다.