Paper Info
Title
A Comment on Budach's Mouse-in-an-Octant Problem
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.
Year
Venue
Field
2013
CoRR
Integer,Discrete mathematics,Combinatorics,Decidability,Octant (instrument),Mathematics,Grid,Undecidable problem
DocType
Volume
Citations 
Journal
abs/1305.0911
1
PageRank 
References 
Authors
0.36
0
1
Name
Order
Citations
PageRank
Amir M Ben-Amram132730.52