diff --git a/03-recursive/recursive.tex b/03-recursive/recursive.tex index f72d2bfaa8457bc681656de9a69bf706c4240e78..51ee81da85b7a360fc460473010a69c8f355ec68 100644 --- a/03-recursive/recursive.tex +++ b/03-recursive/recursive.tex @@ -987,7 +987,7 @@ nýbrž jazyka $L' = L\cdot\{\|>|\}$, v~němž jsou slova ukončená zarážkou. Uvědomíme si, že z~regularity~$L'$ plyne regularita~$L$. To můžeme zdůvodnit cvičením \exref{quotex}, protože $L$ je kvocient $L' / \{\|>|\}$. Nebo to lze provést přímo úpravou koncových stavů: za koncové prohlásíme ty stavy, z~nichž vede přechod -před znak~$\|>|$ do některého z~původních koncových stavů. +přes znak~$\|>|$ do některého z~původních koncových stavů. \qed \exercises