Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Parsing in the Wolfram Language
Wolfram`Parser`
Parse*
Running a parser
The wrapper
the single computable head every parser is represented as
Terminals
match an exact string
match a single character against a character class
always succeed with the given value, consuming nothing
always fail with the given message
match the input against a regular expression
Composition
each parser in order
the first that matches, PEG-ordered
every alternative, returning the longest match (POSIX-style)
left-associative operator chain
right-associative operator chain
Repetition
zero or more
one or more
zero or one
Lookahead / backtracking
backtrack on failure even after partial consumption
Action / recursion
apply a function to a parser's result
defer the lookup of a parser definition until parse time
Diagnostics
Failure["ParseError", ...]
"Position"
"Expected"
"Found"
LaTeX math
parse LaTeX math source into a tree of Wolfram boxes
restyle parsed math boxes into a Computer-Modern math font
BNF & TPTP grammars
read a BNF grammar (a string or ) and return an
import TPTP theorem-prover formulas (FOF / CNF / THF) or an SZS derivation
render an SZS-output derivation back to TPTP text
Markdown
parse a markdown document into a block AST (headings, lists, fences, prose)
parse one paragraph's inline spans (emphasis, code, links, math)
 |
|
""