From 0e1165f9ee81d12eabc95ad02b4db55b7f47faa5 Mon Sep 17 00:00:00 2001
From: Tom <info@tom-krueger.eu>
Date: Tue, 12 Jun 2018 20:07:32 +0200
Subject: [PATCH] Added Productions to README.md

---
 README.md | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index afc7b2d..026d348 100644
--- a/README.md
+++ b/README.md
@@ -18,9 +18,21 @@ A Nonterminal starts with a leading `$`. The nonterminal `FOO` would be written
 
 ### Terminals
 
-A Terminals starts with a leading `/`. The terminal `bar` would be written as:
+A Terminal starts with a leading `/`. The terminal `bar` would be written as:
 
     /bar
 
 Note that `/ab` differs from `/a/b`. The string `/ab` resolves to the terminal `ab`,
 whereas `/a/b` resolves to the terminals `a` and `b`
+
+#### Empty String
+
+`/~` resolves to the *Empty String*
+
+
+### Productions
+
+The `->` indicates a production, the *Nonterminal* on it's left side gets replaced
+by the string of *Nonterminals* and *Terminals* on it's right side.
+
+    $FOO -> /foo$FOO