Michael Sipser

" 未來數學家的挑戰 - 楊照崑;楊重駿. [2013-05-11]. （原始内容存档于2018-07-12）.  Michael Sipser（英语：Michael Sipser）. Sections 8.2–8.3 (The Class PSPACE, PSPACE-completeness)

state-machine based execution environment based on Harel statecharts. Michael Sipser（2006）, Introduction to the Theory of Computation, Second Edition, Thomson

理論告訴我們圖靈機在給予更多時間之後，保證能解決更多的問題。 舉例：必然存在問題是圖靈機可以用n2的時間解決，但是不能用n的時間解決。 Michael Sipser. Introduction to the Theory of Computation. PWS Publishing. 1997. ISBN 0-534-94728-X

的数量就是接受语言L的最小确定有限状态自动机的状态数。 形式语言 有限状态自动机 正则表达式 正则文法 乔姆斯基体系 Michael Sipser（英语：Michael Sipser）. Introduction to the Theory of Computation. PWS Publishing

计算理论早期的重要貢獻者有阿隆佐·邱奇、库尔特·哥德尔、艾伦·图灵、斯蒂芬·科尔·克莱尼、约翰·冯·诺伊曼及克劳德·香农等。 Michael Sipser. Introduction to the Theory of Computation 3rd. Cengage Learning. 2013