CSE 675, Spring 2000

TRANSITION NETWORK SYNTAX & SEMANTICS

SyntaxSemantics
(jump <state> <test>) if <test>
then goto <state> w/o consuming I/P
(cat <ctgy> <test> (to <state>)) if * is <ctgy> & <test>
then begin goto <state>; consume I/P end
else fail
(pop <form> <test>) if endofinput & <test>
then return value of <form>
else fail



Copyright © 2000 by William J. Rapaport (rapaport@cse.buffalo.edu)
file: 675w/tn.synsem.31ja00.html