Difference: PARS-tutorial-ex4 ( vs. 1)

Revision 12014-09-12 - DamianLyons

Line: 1 to 1
Added:
>
>
META TOPICPARENT name="PARS-tutorial"
Exercise: Write a PARS process that has two process variables, and will do P if the first variable is the larger and Q if the second is the larger, but nothing if they are equal.

Remember, the parallel composition of condition processes does not need to specify a disjoint situation as in an IF statement. So we can write

Z<a,b> = (GTR<a,b> ; P | GTR<b,a> ; Q) .

In the case that z=b, neither condition process will terminate in STOP and hence neither P nor Q will be started.

-- (c) Fordham University Robotics and Computer Vision

 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2024 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback