Formálne metódy tvorby softvéru - úlohy k prednáške 1

1.
a) žiadny rozdiel
b) nie sú tie isté
minca . (čaj + káva)
minca . čaj + minca . Káva
c) žiadny rozdiel
d) nie sú tie isté
e) žiadny rozdiel

2.
a) tik.Nil
b) tik.Nil | tik.Nil | tik.Nil
c) tik.Nil + tik.Nil | tik.Nil | tik.Nil

3.
____ __
in.send.Nil | send.out.Nil \ {send}
___
napr.: in т out

4.
a) clock = tick.Clock + tick.Nil
μXtick.X + tick.Nil
b) clock = tick.Clock + končíme.Clock \ {končíme}
(K | Clock) \ {končíme}
5. stromy odvodenia
6.
a) automat, minca, ...
VM = coin (tea.dáTea + coff.dáCoff)
___ _____
user1 = coin (tea + coffee)
_____ ___
user2 = coffee + tea

(VM | USER) \ {coin, tea, coffee}

b) cesta, železnica, signál

priecestie, auto →
______ ____
hore.akrizuje.dole.Cesta | zelena | signal {}

т→
______ ____
(akrizuje.dole.Cesta | zeleznica | dole.signal) {}
vlak →
______ ____ ______
(akrizuje.dole.Cesta | zelena.akrizuje.cervena.Vlak) {}

7. bisimulácia

a) a.Nil + a.Nil

aa S = ( (a + a, a), (Nil, Nil) )

b) ?

c) S = < a(b + c), ab + ac, (b+c, a) >

d) S = <(ab + ba, a | b), (b, Nil | b), (a, a | Nil), (Nil, Nil | ?)>
8. dokázať vety