branch: externals/parser-generator
commit 4c34af706fbcd9b7a6d1c7a88595e169fa86daf6
Author: Christian Johansson <christ...@cvj.se>
Commit: Christian Johansson <christ...@cvj.se>
Improved documentation
---
README.md | 2 +-
docs/Syntax-Analysis.md | 7 +++----
2 files changed, 4 insertions(+), 5 deletions(-)
diff --git a/README.md b/README.md
index 5823925662..5432ef4407 100644
--- a/README.md
+++ b/README.md
@@ -13,7 +13,7 @@ We use a regular-language based lexical analyzer that can be
implemented by a fi
## Syntax Analysis / Parser
-We use deterministic push down transducer (PDT) based algorithms. Read more
[here](docs/Syntax-Analysis.md).
+We use deterministic push down transducer (DPDT) based algorithms. Read more
[here](docs/Syntax-Analysis.md).
## Test
diff --git a/docs/Syntax-Analysis.md b/docs/Syntax-Analysis.md
index 836cde68d7..6f639d7b1f 100644
--- a/docs/Syntax-Analysis.md
+++ b/docs/Syntax-Analysis.md
@@ -12,7 +12,6 @@ We use push down transducer (PDT) based algorithms.
## Without Backtracking
* LL(k) *WIP*
-* Deterministic Shift-Reduce Parsing *WIP*
* [LR(k)](Syntax-Analysis/LRk.md)
* [LR(0)](Syntax-Analysis/LR0.md)
* Formal Shift-Reduce Parsing Algorithms *WIP*
@@ -67,11 +66,11 @@ Can be set in variable
`parser-generator--global-declaration`. This may be used
### e-identifier
-The symbol defined in variable `parser-generator--e-identifier`, with
default-value: 'e`, symbolizes the e symbol. The symbol is allowed in some
grammars and not in others.
+The symbol defined in variable `parser-generator--e-identifier`, with
default-value: `'e`, symbolizes the e symbol. The symbol is allowed in some
grammars and not in others and can be used to make parts of grammar optional.
### End-of-file identifier
-The symbol defined in variable `parser-generator--eof-identifier`, with
default-value: '$`, symbolizes the end-of-file symbol.
+The symbol defined in variable `parser-generator--eof-identifier`, with
default-value: `'$`, symbolizes the end-of-file symbol.
### Non-terminals
@@ -107,7 +106,7 @@ The start symbol is the entry-point of the grammar and
should be either a string
### Look-ahead number
-Is a simple integer above zero. You set it like this:
`(parser-generator-set-look-ahead-number 1)` for `1` number look-ahead.
+Is a simple integer above zero. You set it like this:
`(parser-generator-set-look-ahead-number 1)` for a `1` number look-ahead.
### Syntax-directed-translation (SDT)
