From 0d1fb296f03040326d6e6e4c3378b09342506ffe Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 29 May 2024 15:07:33 +0200
Subject: [PATCH] TFA: Typo
---
03-recursive/recursive.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/03-recursive/recursive.tex b/03-recursive/recursive.tex
index f72d2bf..51ee81d 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
--
GitLab