
diff -r 5ddedcd92d84 -r a4646557016d slides/slides05.tex
--- a/slides/slides05.tex	Wed Oct 24 20:37:37 2018 +0100
+++ b/slides/slides05.tex	Thu Oct 25 00:50:58 2018 +0100
@@ -598,15 +598,17 @@
 A grammar for palindromes over the alphabet~\bl{$\{a,b\}$}:
 
 \bl{\begin{plstx}[margin=3cm]
-: \meta{S} ::= \epsilon\\
 : \meta{S} ::= a\cdot\meta{S}\cdot a\\
 : \meta{S} ::= b\cdot\meta{S}\cdot b\\
+: \meta{S} ::= a\\
+: \meta{S} ::= b\\
+: \meta{S} ::= \epsilon\\
 \end{plstx}}\pause
 
 or
 
 \bl{\begin{plstx}[margin=2cm]
-: \meta{S} ::=  \epsilon | a\cdot \meta{S}\cdot a | b\cdot \meta{S}\cdot b \\
+: \meta{S} ::=  a\cdot \meta{S}\cdot a | b\cdot \meta{S}\cdot b | a | b | \epsilon\\
 \end{plstx}}\pause\bigskip
 
 \small




