ebnf - 无限循环或 if 语句的 Forth 语言 EBNF 规则

Question

有没有EBNF描述 Forth 无限循环或 if 语句的规则？

Answer 1

EBNF 用于描述语法。无限循环或其他循环通常不会落入它所描述的范围内。因此，您将查看 EBNF 的无限循环，它看起来像:

indefinite_loop ::= 'BEGIN' statements cond 'UNTIL'

通常 cond 会在堆栈上压入 0 或 1 以确定是否继续循环(0 表示继续循环，1 表示退出)。因此，如果您直接插入 0，循环将永远执行:

: infinite_loop BEGIN do_whatever 0 UNTIL ;