«нечетное» выражение в PL / 0

Question

Учитывая следующую грамматику EBNF (найденную в википедии для PL / 0), какому выражению предшествует ключевое слово "ODD"? Я хотел бы реализовать простой язык в качестве небольшого проекта, но я не могу понять, что это значит. Кто-нибудь раньше занимался этим или мог интерпретировать, что такое странное выражение, чтобы я мог правильно написать компилятор для языка?

program = block "." .

block = [ "const" ident "=" number {"," ident "=" number} ";"]
        [ "var" ident {"," ident} ";"]
        { "procedure" ident ";" block ";" } statement .

statement = [ ident ":=" expression | "call" ident |
            "begin" statement {";" statement } "end" |
            "if" condition "then" statement |
            "while" condition "do" statement ].

condition = "odd" expression |
            expression ("="|"#"|"<"|"<="|">"|">=") expression .

expression = [ "+"|"-"] term { ("+"|"-") term}.

term = factor {("*"|"/") factor}.

factor = ident | number | "(" expression ")".

Answer 1

Грамматика EBNF указывает через кавычки, что ODD является последовательностью конечных символов. Это подтверждается примерами, следующими за грамматикой на странице Википедии. Семантически это предикат, проверяющий четность числовых значений.

BEGIN
  a := x;
  b := y;
  z := 0;
  WHILE b > 0 DO BEGIN
    IF ODD b THEN z := z + a;
    a := 2 * a;
    b := b / 2
  END
END;

Answer 2

Я полагаю, odd аналогична функции, которая определяет, оценивает ли значение выражения, следующего за ним, нечетное или четное (целочисленное) значение, и возвращает «true», если значение нечетное.В С:

bool odd(int exp) { return (exp & 1) != 0; }