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

Kanonické automaty: Korektury

parent d4023ade
Branches
No related tags found
No related merge requests found
...@@ -1142,6 +1142,8 @@ po zpracování slov $\alpha$ a~$\beta$ automat skončí ve stejném stavu (tedy ...@@ -1142,6 +1142,8 @@ po zpracování slov $\alpha$ a~$\beta$ automat skončí ve stejném stavu (tedy
= \delta^*(q_0,\beta)$). = \delta^*(q_0,\beta)$).
} }
\obs{Relace~$\simeq_A$ je ekvivalence.}
\lemma{Nechť $L$ je jazyk automatu~$A$ a $\alpha\simeq_A\beta$. Potom slova $\alpha$ \lemma{Nechť $L$ je jazyk automatu~$A$ a $\alpha\simeq_A\beta$. Potom slova $\alpha$
a $\beta$ nejsou rozlišitelná žádným suffixem, takže platí $\alpha\sim_L\beta$. a $\beta$ nejsou rozlišitelná žádným suffixem, takže platí $\alpha\sim_L\beta$.
} }
...@@ -1150,7 +1152,7 @@ a $\beta$ nejsou rozlišitelná žádným suffixem, takže platí $\alpha\sim_L\ ...@@ -1150,7 +1152,7 @@ a $\beta$ nejsou rozlišitelná žádným suffixem, takže platí $\alpha\sim_L\
Pokusme se $\alpha$ od~$\beta$ oddělit nějakým suffixem~$\sigma$. Pokusme se $\alpha$ od~$\beta$ oddělit nějakým suffixem~$\sigma$.
Automat po zpracování $\alpha$ a~$\beta$ skončí v~tomtéž stavu~$s$. Automat po zpracování $\alpha$ a~$\beta$ skončí v~tomtéž stavu~$s$.
Potom $\delta^*(q_0,\alpha\sigma) = \delta^*(q_0,\beta\sigma) = \delta^*(s,\sigma)$, Potom $\delta^*(q_0,\alpha\sigma) = \delta^*(q_0,\beta\sigma) = \delta^*(s,\sigma)$,
takže $\alpha\sigma\in F$ právě tehdy, když $\beta\sigma\in F$. K~oddělení tedy nedošlo. takže $\alpha\sigma\in L$ právě tehdy, když $\beta\sigma\in L$. K~oddělení tedy nedošlo.
\qed \qed
\cor{ \cor{
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment