Type a small SDF2 syntax definition in the left box
Type an input term for this syntax in the right box
Select which kind of derivations you want to look at
Press parse
For your convenience, an example syntax definition is already there. This
example shows:
Mixing lexical and context-free syntax
Defining concrete and abstract syntax in the same formalism
Relative priorities and associativities
Restrictions for obtaining a longest match
Reject productions for obtaining reserved keywords
Simple modular structure
See the SDF web-site for more information. Try for example removing any of the disambiguation constructions to see how a collection of derivations is created in case of ambiguities.