Skip to content
Snippets Groups Projects
Commit 0d1fb296 authored by Martin Mareš's avatar Martin Mareš
Browse files

TFA: Typo

parent 6c375957
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment