格局图

格局图（configuration graph），计算机科学技术名词，给定一个图灵机 T 及一个输入 x，T 在输入 x 时有一个初始格局 α，T 从输入 x 开始的计算就是从 α 开始的一系列格局的变换，一个有向边 α→β 表示从格局 α 经 T 的一步计算到格局 β 。