Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
41945e2d
Commit
41945e2d
authored
Sep 11, 2015
by
POTTIER Francois
Browse files
Documentation: clarified that a nonterminal symbol should begin with a
lowercase letter.
parent
d2e87aea
Changes
1
Hide whitespace changes
Inline
Side-by-side
doc/main.tex
View file @
41945e2d
...
...
@@ -498,8 +498,14 @@ the parser.
\subsection
{
Rules
}
Following the mandatory
\percentpercent
keyword, a sequence of rules is
expected. Each rule defines a nonterminal symbol~
\nt
{
id
}
. In its simplest
form, a rule begins with
\nt
{
id
}
, followed by a colon character (
\deuxpoints
),
expected. Each rule defines a nonterminal symbol~
\nt
{
id
}
.
%
(It is recommended that the name of a nonterminal symbol begin with a lowercase
letter, so it falls in the category
\nt
{
lid
}
. This is in fact mandatory for the
start symbols.)
In its simplest
form, a rule begins with the nonterminal symbol
\nt
{
id
}
,
followed by a colon character (
\deuxpoints
),
and continues with a sequence of production groups
(
\sref
{
sec:productiongroups
}
). Each production group is preceded with a
vertical bar character (
\barre
); the very first bar is optional. The meaning
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment