[cs63201] Homework Question

[Mikhail Nesterenko]

> For a program-counter based program like the one in the homework: 
> 
>           assign initial values to variables;
> 	  statement1; 
> 	  statement2; 
> 	  statement3; 
> 	  statement4; 
> 
> 
> Is this an equivalent guard-command-based program?
> 	  var
> 	     variable list and initialization;
> 	  *[
>                   guard1--> statement1;
> 	   []
>    	      guard2--> statement2;
> 	   []
>                   guard3 -> statemen3; 
>    []
>                   guard3 -> statemen3;    
>         	]
> 
> 

The objective is to code the guarded-command based program
such that it produced the same computation as the program-counter
based one. That is:

      statement1, statement2, and so on.

Thanks,
--
Mikhail