自动机理论

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

 

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

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

posted on 2011-09-09 15:06  katago  阅读(310)  评论(0)  编辑  收藏  举报