实证研究
斯蒂芬建立了著名的最简通用图灵机，它具有2个状态和5个颜色。接着，斯蒂芬进行了2,985,984个可能的2态3色图灵机的实证研究。从中，斯蒂芬推断出一种最简通用图灵机。