# HG changeset patch # User Markus Kaiser # Date 1400542300 -7200 # Node ID 7afd6762980fa416813bab69f25148b82229ded6 # Parent 334369297f54bde56be124048541d7b18a6e543f fix example word diff -r 334369297f54 -r 7afd6762980f notes/tex/grammars.tex --- a/notes/tex/grammars.tex Fri May 16 17:34:00 2014 +0200 +++ b/notes/tex/grammars.tex Tue May 20 01:31:40 2014 +0200 @@ -127,7 +127,7 @@ Also z.B: \[ - 1 \in L_G(S) \Longrightarrow 0\alert{1}0 \in L_G(S) \Longrightarrow \alert{010}11 \in L_G(S) + 1 \in L_G(S) \Longrightarrow 0\alert{1}1 \in L_G(S) \Longrightarrow \alert{011}11 \in L_G(S) \] \end{example} \end{frame} diff -r 334369297f54 -r 7afd6762980f notes/ue05_notes.pdf Binary file notes/ue05_notes.pdf has changed