A Comment on Budach's Mouse-in-an-Octant Problem

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 not...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Author Ben-Amram, Amir M
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 20.09.2013
Subjects
Finite state machines
Sketches
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:2331-8422