关于Budach的八分之一空间中的老鼠问题的评论
摘要：Budach的鼠标在八分之一问题（归功于van Emde Boas和Karpinski在1980年的一篇文章中提到的Lothar Budach）涉及到一个非常简单的有限状态机（“鼠标”）在整数二维网格上移动的行为。它的可决定性显然仍然是开放的。这篇笔记概述了一个证明，证明了该问题的一个扩展版本（超级鼠标）是不可决定的。
作者：Amir M. Ben-Amram
论文ID：1305.0911
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2013-09-24