Mercurial > hg > Applications > Lite
view tk/gi4.lite @ 4:029b5a5ac494
*** empty log message ***
author | kono |
---|---|
date | Fri, 19 Jan 2001 02:03:27 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
% % specification for simple graphics interaction % specification(( +(((stop-> keep(not(move))), ((start -> keep((green,move;not(green),not(move))))), next(halt((stop;start;quit))) )), proj( ( length(10), ((stable(red),stable(green))&skip) ),( st(s0),halt(quit) ) ) )). st_variables([stop,start,quit],[red,green,move]). st(s0,(green,not(red)),s1). st(s1,(not(green),red),s0). st(s0,empty,empty). st(s1,empty,empty).