A grammar is a list of rules and terminals, that together define a language.
Terminals define the alphabet of the language, while rules define its structure.
In Lark, a terminal may be a string, a regular expression, or a concatenation of these and other terminals.
Each rule is a list of terminals and rules, whose location and nesting define the structure of the resulting parse-tree.
A parsing algorithm is an algorithm that takes a grammar definition and a sequence of symbols (members of the alphabet), and matches the entirety of the sequence by searching for a structure that is allowed by the grammar.
General Syntax and notes
Grammars in Lark are based on EBNF syntax, with several enhancements.
Lark grammars are composed of a list of definitions and directives, each on its own line. A definition is either a named rule, or a named terminal.
Comments start with
// and last to the end of the line (C++ style)
Lark begins the parse with the rule 'start', unless specified otherwise in the options.
Names of rules are always in lowercase, while names of terminals are always in uppercase. This distinction has practical effects, for the shape of the generated parse-tree, and the automatic construction of the lexer (aka tokenizer, or scanner).
Terminals are used to match text into symbols. They can be defined as a combination of literals and other terminals.
<NAME> [. <priority>] : <literals-and-or-terminals>
Terminal names must be uppercase.
Literals can be one of:
/re with flags/imulx
- Literal range:
Notes for when using a lexer:
When using a lexer (standard or contextual), it is the grammar-author's responsibility to make sure the literals don't collide, or that if they do, they are matched in the desired order. Literals are matched in an order according to the following criteria:
- Highest priority first (priority is specified as: TERM.number: ...)
- Length of match (for regexps, the longest theoretical match is used)
- Length of literal / pattern definition
IF: "if" INTEGER : /[0-9]+/ INTEGER2 : ("0".."9")+ //# Same as INTEGER DECIMAL.2: INTEGER "." INTEGER //# Will be matched before INTEGER WHITESPACE: (" " | /\t/ )+ SQL_SELECT: "select"i
<name> : <items-to-match> [-> <alias> ] | ...
Names of rules and aliases are always in lowercase.
Rule definitions can be extended to the next line by using the OR operator (signified by a pipe:
An alias is a name for the specific rule alternative. It affects tree construction.
Each item is one of:
(item item ..)- Group items
[item item ..]- Maybe. Same as
(item item ..)?
item?- Zero or one instances of item ("maybe")
item*- Zero or more instances of item
item+- One or more instances of item
item ~ n- Exactly n instances of item
item ~ n..m- Between n to m instances of item
hello_world: "hello" "world" mul: [mul "*"] number //# Left-recursion is allowed! expr: expr operator expr | value //# Multi-line, belongs to expr four_words: word ~ 4
All occurrences of the terminal will be ignored, and won't be part of the parse.
%ignore directive results in a cleaner grammar.
It's especially important for the LALR(1) algorithm, because adding whitespace (or comments, or other extranous elements) explicitly in the grammar, harms its predictive abilities, which are based on a lookahead of 1.
%ignore " " COMMENT: "#" /[^\n]/* %ignore COMMENT
Allows to import terminals and rules from lark grammars.
When importing rules, all their dependencies will be imported into a namespace, to avoid collisions. It's not possible to override their dependencies (e.g. like you would when inheriting a class).
%import <module>.<TERMINAL> %import <module>.<rule> %import <module>.<TERMINAL> -> <NEWTERMINAL> %import <module>.<rule> -> <newrule> %import <module> (<TERM1> <TERM2> <rule1> <rule2>)
If the module path is absolute, Lark will attempt to load it from the built-in directory (currently, only
common.lark is available).
If the module path is relative, such as
.path.to.file, Lark will attempt to load it from the current working directory. Grammars must have the
The rule or terminal can be imported under an other name with the
%import common.NUMBER %import .terminals_file (A B C) %import .rules_file.rulea -> ruleb
%ignore directives cannot be imported. Imported rules will abide by the
%ignore directives declared in the main grammar.
Declare a terminal without defining it. Useful for plugins.