摘要：一个形式-语言学的方法被用来解决一个有趣的任务。讨论了汉诺塔问题与离散数学的一些概念的关系。描述了一个生成解决此任务的算法的无上下文语法。构建了一个确定性下推自动机，它在工作中模拟僧侣解决汉诺塔问题的过程。
作者：Krasimir Yordzhev
论文ID：1201.1095
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-01-24
PDF 下载： 英文版 中文版pdf翻译中