コンテンツページを表示する。 | ナビゲーションへ移動
process の alphabet は，process が実行できる action の集合である．
DRINKS = (red ->coffee->DRINKS |blue->tea ->DRINKS ).
