状態遷移図において、状態の中に描かれた小さな黒い円(開始状態)から出る遷移にトリガーは必要か。

開始状態(Initial State)からの遷移は、その状態が含まれる領域がアクティブになった際に自動的に発生する。