PrÃklady
PrÃklady
PrÃklady
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
RNDr. Peter Kaprálik, PhD.<br />
Príklady z Logických systémov<br />
19. Množina stavov automatu A 1 je S = s 1 , s 2 , s 3 , s 4 a automatu A 2 je T = t 1 , t 2 , t 3 , t 4 .<br />
Oba automaty majú vstupnú abecedu X = x a výstupnú abecedu Z = 0, 1 . Funkcie a<br />
sú dané tabuľkami<br />
x x<br />
s 1 s 1 0<br />
s 2 s 1 1<br />
s 3 s 3 1<br />
s 4 1<br />
s 3<br />
x x<br />
t 1 t 2 0<br />
t 2 t 2 0<br />
t 3 t 1 1<br />
t 4 1<br />
t 4<br />
Sú A 1 , A 2 ekvivalentné<br />
20. Automaty A a B sú dané tabuľkami:<br />
A x 1 x 2<br />
s 1 s 2 /0 s 3 /1<br />
s 2 s 1 /0 s 3 /1<br />
s 3 s 3 /1 s 1 /0<br />
B x 1 x 2<br />
t 1 t 1 /0 t 2 /1<br />
t 2 t 3 /1 t 1 /0<br />
t 3 t 3 /1 t 2 /0<br />
Vyšetrite, či automaty A a B sú ekvivalentné.<br />
3.3.Výsledky<br />
a b c<br />
a b <br />
s 1 s 2 /1 s 1 /1 s 2 /3<br />
s 0 s 1 s 1 1<br />
s 2 s 3 /2 s 2 /3 s 3 /1<br />
s 1 s 0 s 2 1<br />
1. napr. s 3 s 2 /1 s 3 /2 s 1 /3 10. a) nie. b) áno s 2 s 2 s 1 0 11. a)<br />
(s, w) = 4, (s, w) = 01100100. b) (s, w) = 3, (s, w) = 01010011. 13. E = {1, 3, 4},<br />
{6}, {2, 5} . 14. E = 1, 3 , 2, 6 , 4, 5 , 7 . 15. E = 0 , 1 , 9 , 4 , 2 , 3, 7 ,<br />
5 , 8 , 6 . 18. s 1 i s 2 i t 1 , s 3 i s 4 i t 2 i t 3 ; automaty nie sú ekvivalentné. 19. áno.<br />
20. nie.<br />
4. Fyzikálna realizácia automatov<br />
4.1. Riešené príklady<br />
Príklad 1. Vytvorte dvojkový automat, ktorý pokrýva automat<br />
tabuľkou<br />
a b c<br />
p q/u r/u q/v<br />
q p/u q/v r/u<br />
r p/v r/u p/u<br />
A = (S, X, Z, , )<br />
daný<br />
Budiace funkcie a výstupnú funkciu vyjadrite pomocou B-výrazov.<br />
Riešenie. Najprv vytvoríme k automatu A kódový ekvivalent A B . Zakódujme stavy, vstupy a<br />
výstupy automatu A napr. pomocou zobrazení<br />
26