Re: Question about theory assingment

Bob Walton (walton@deas.harvard.edu)
Sun, 9 Apr 2000 15:34:42 -0400 (EDT)

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Bob Walton: "Re: problem 4 - simple decision alg"
Previous message: Bob Walton: "Re: Questions about theory assingment"

Post Reply to the List: Kau-Taeiloa@das.harvard.edu
Post New Message to the List: Kau-Taeiloa@das.harvard.edu>
Post Reply to the Author: Bob Walton (walton@deas.harvard.edu)

..Problem #4: With INFORMALLY you mean write just an algorithm, or describe
..the automata?
..
The INFORMALLY means, do NOT use the `formal proof' style of the other
problems. You can describe the algorithm any way you like, but a good
way for a 2 partition system is:

Partition 1 Partition 2

(1) ... (1) ...
(2) ... (2) ...
(3) ... (3) ...

where the relative timing can be indicated if you want by
doing things like:

Partition 1 Partition 2

(1) compute ... (1) wait for message
(2) send message M1
(3) wait for message (2) receive message M1
(3) compute ...
(4) send message M2
(4) receive message M2 (5) wait for message

ETC

This does not always work, as loops and if-then's can make
things too complex. The most general thing is to just write
pseudo-code for each of the two partitions.

Next message: Bob Walton: "Re: problem 4 - simple decision alg"
Previous message: Bob Walton: "Re: Questions about theory assingment"