《Thue的1914年论文：一篇翻译》
摘要：Thue的1914年论文《关于按照给定规则改变符号序列的问题》是这篇论文的阅读笔记，在此论文中有论文的翻译。Thue的1914年论文主要以证明了一个无法判定的问题为著名，被Post广泛引用。然而，Post的论文主要使用了Thue系统的定义，而这个定义在Thue论文的前两页中描述，并不依赖于Thue论文其余部分的更具体的结果。对Thue论文其余部分的进一步研究突出了计算机历史上的一些重要主题：从代数到形式语言理论的跨越，对规则的“计算能力”（在1936年之前的意义上），以及生成规则集的算法的发展。
作者：James F. Power
论文ID：1308.5858
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-08-28