状態遷移図
状態遷移図（じょうたいせんいず、"State Transition Diagram"）は、有限オートマトンなどの状態機械について、その各状態を頂点とし、状態から状態への各遷移を辺としたグラフ構造に注目して、グラフィカルに表現した図である。他の表現手法として状態遷移表などがある。
状態遷移図にはいくつかの異なる形式のものがある。対象の性質や用途などによって使い分けることもある。