自动机理论

http://en.wikipedia.org/wiki/Automata_theory

自动机理论

自动机理论: 形式语言和形式文法
乔姆斯基层级	文法	语言	极小自动机
类型 0	无限制	递归可枚举	图灵机
n/a	(无公用名)	递归	判定器
类型 1	上下文有关	上下文有关	线性有界
n/a	附标	附标	嵌套堆栈
n/a	树-邻接	适度上下文有关	嵌入下推
类型 2	上下文无关	上下文无关	非确定下推
n/a	确定上下文无关	确定上下文无关	确定下推
类型 3	正则	正则	有限
每个语言或文法范畴都是其直接上面的范畴的真子集。

http://zh.wikipedia.org/wiki/Template:%E5%BD%A2%E5%BC%8F%E8%AF%AD%E8%A8%80%E4%B8%8E%E5%BD%A2%E5%BC%8F%E6%96%87%E6%B3%95

http://en.wikipedia.org/wiki/Turing_machine

http://zh.wikipedia.org/wiki/%E6%80%9D%E6%83%B3%E5%AF%A6%E9%A9%97

思想实验是指：使用想像力去进行的实验，所做的都是在现实中无法做到（或现实未做到）的实验。例如爱因斯坦有关相对运动的著名思想实验，又例如在爱因斯坦和英费尔德合著的科普读物《物理学的进化》中，就有一个实验要求读者想像一个平滑，无摩擦力的地面及球体进行实验，但这在现实（或暂时）是做不到的。思想实验需求的是想像力，而不是感官。爱因斯坦曾说：“理论的真理在你的心智中，不在你的眼睛里。”^{[来源请求]}

在物理学里，思想实验是很有用的理论工具：