Create new documentation for input formalism
We should create new documentation for input formalisms for questionnaires, starting from the old documentation, but tweaking it to make better sense. This should also be used as a first step for writing the parser.
-
Documentation should be written as markdown with LaTeX-style math -- to be processed by pandoc to create web documentation & possibly also LaTeX/PDF documentation.
-
It should be written in Czech.
Suggested changes
-
The format for grammars should accept UTF characters for the arrow and epsilon. -
For grammars the format should scratch the skipping of \e
in"…"
or<…>
rule: anything between these delimiters except for newline, the delimiter itself & control characters should be considered part of the (non)terminal. -
It should be explicitly mentioned that identifiers written differently always represent different entities (e.g., S
is not equal to<S>
). -
We should consider extending the format so that it represents the whole definition, not just the ruleset of grammars/automata (i.e. include the GRA quadruple/automata quintuple). But this might be inconvenient.
… more suggestions will be added