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

Algebraické souvislosti: Zdůrazníme, že kongruence je na stavech

parent 5b174753
Branches
No related tags found
No related merge requests found
...@@ -1406,7 +1406,7 @@ a $\beta\sigma$ musí také vést do téhož stavu. ...@@ -1406,7 +1406,7 @@ a $\beta\sigma$ musí také vést do téhož stavu.
I~na ekvivalenci stavů~$\approx$ v~automatu se můžeme dívat jako na kongruenci, I~na ekvivalenci stavů~$\approx$ v~automatu se můžeme dívat jako na kongruenci,
ovšem na jiné algebraické struktuře. Pro každý znak abecedy~$x$ definujeme ovšem na jiné algebraické struktuře. Pro každý znak abecedy~$x$ definujeme
funkci $f_x: Q\rightarrow Q$, která bude říkat, jak se přechází mezi stavy funkci $f_x: Q\rightarrow Q$, která bude říkat, jak se přechází mezi stavy
po přečtení~$x$. Tedy $f_x(s) = \delta(s,x)$. Po kongruenci pak budeme chtít, po přečtení~$x$. Tedy $f_x(s) = \delta(s,x)$. Po kongruenci na stavech pak budeme chtít,
aby byla kompatibilní se všemi~$f_x$, čili aby bylo $f_x(s)\approx f_x(s')$, aby byla kompatibilní se všemi~$f_x$, čili aby bylo $f_x(s)\approx f_x(s')$,
kdykoliv $s\approx s'$. A~také aby byla kompatibilní s~vlastností \uv{být kdykoliv $s\approx s'$. A~také aby byla kompatibilní s~vlastností \uv{být
koncový stav}, tedy z~$s\approx s'$ plynulo $s\in F \Leftrightarrow s'\in F$. koncový stav}, tedy z~$s\approx s'$ plynulo $s\in F \Leftrightarrow s'\in F$.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment