Personal tools
You are here: Home → LTS → LTSA チュートリアル → 第二回 → Process Alphabets
Navigation
 
Document Actions

Process Alphabets

by takeuchi — last modified 2008-11-23 17:51

定義

process の alphabet は，process が実行できる action の集合である．

DRINKS = (red ->coffee->DRINKS 
         |blue->tea   ->DRINKS
         ).
例として，上記の DRINKS プロセスの alphabet は{red, coffee, blue, tea}となる．