A Comment on Budach's Mouse-in-an-Octant Problem
Formal Languages and Automata Theory
2013-09-24 v2
Abstract
Budach's Mouse-in-an-Octant Problem (attributed to Lothar Budach in a 1980 article by van Emde Boas and Karpinski) concerns the behaviour of a very simple finite-state machine ("the mouse") moving on the integer two-dimensional grid. Its decidability is apparently still open. This note sketches a proof that an extended version of the problem (a super-mouse) is undecidable.
Cite
@article{arxiv.1305.0911,
title = {A Comment on Budach's Mouse-in-an-Octant Problem},
author = {Amir M. Ben-Amram},
journal= {arXiv preprint arXiv:1305.0911},
year = {2013}
}
Comments
3 pages, 2 bibliographic references