状態遷移プログラミングと状態遷移機械