​

自动机理论

 




自动机理论: 形式语言和形式文法

​​乔姆斯基层级​​

​​文法​​

​​语言​​

极小自动机

类型 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​​

 

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

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