Externally supplied parse failure
An arithmetic grammar with failure evidence supplied by the frozen test trace provider.
Scope: External provider evidence only. No parser is executed inside the renderer.
Preview
Source
ebnf-arithmetic.puml
text/plain
@startebnf
title Arithmetic with recursion
(* Expressions refer to terms; parentheses refer back to expressions. *)
expression = term, { ("+" | "-"), term };
term = factor, { ("*" | "/"), factor };
factor = number | "(", expression, ")" | "-", factor;
number = digit, { digit };
digit = ? any decimal digit ? - "0" | "0";
@endebnf