文書操作
Action Prefix と STOP プロセス
このページでは，Action Prefix と STOP プロセスについて説明しています．
Action Prefix の定義
x が action であり P が process ならば，(x -> P) は，はじめに action x を行い，その後 P によって表されるように振舞うプロセスを表します．
action prefix operator
"->" のこと．左側は action，右側は process．
STOP プロセス
特別に予め定義されたプロセス．STOP プロセスからは，さらに遷移しません．
STOP プロセスの例
ONESHOT = (once->STOP).
