TKF3053 : Teori Sains Komputer

Faculty of Informatics & Computing

Universiti Sultan Zainal !i"in #UniSZ$
ssignment % &
Given the ground rules for three participants - the user, the word processor, the printer :
1. The user may decide to print (P). That is, the user sends an input to the word
processor, so that it would print the document.
2. The user may decide to cancel (C). That is, the user sends an input to the word
processor, so that the printing will be cancelled.
3. The word processor may send data (S) to the printer for printing.
. The printer may print-out (O) the data onto a piece of paper if the send data
succeeded (SS).
!. The printer may request for data (R) once again if the send data failed (SF).
"raw the Transition "iagram for each participant and generate the #roduct $utomaton of
the protocol for the corresponding automata