od mjk » 22. 6. 2013 12:18
Otázka 102:
Řekneme, že dva stavy
a
konečného automatu
jsou ekvivalentní právě tehdy, když
Žádná odpověď není označena jako správná, ale pokud dobře vidím, tak ta poslední přesně odpovídá definici ve slidech... přehlížím něco?
Otázka 102:
Řekneme, že dva stavy [latex]p[/latex] a [latex]q[/latex] konečného automatu [latex]A = (Q,X,\delta,S,F)[/latex] jsou ekvivalentní právě tehdy, když
[latex]\forall w \in X^* : \delta^*(p,w) = \delta^*(q,w)[/latex]
[latex]\forall w \in L(A) : \delta^*(p,w) \in F \Leftrightarrow \delta^*(q,w) \in F[/latex]
[latex]\forall w \in L(A) : \delta^*(p,w) = \delta^*(q,w)[/latex]
[latex]\forall w \in X^* : \delta^*(p,w) \in F \Leftrightarrow \delta^*(q,w) \in F[/latex]
Žádná odpověď není označena jako správná, ale pokud dobře vidím, tak ta poslední přesně odpovídá definici ve slidech... přehlížím něco?