In this paper we study the model of a finite state automaton interacting with infinite two-dimensional geometric environments. We show that the reachability problem for a finite state automaton interacting with a quadrant of the plane extended by a power function, a polynomial function or a linear function is algorithmically undecidable, by simulating a Minsky machine. We also consider the environment defined by a parabola which impedes the direct simulation of multiplication. However we show that the model of a finite automaton interacting inside a parabola is also universal. © Springer-Verlag Berlin Heidelberg 2004.
CITATION STYLE
Kurganskyy, O., & Potapov, I. (2004). On the computation power of finite automata in two-dimensional environments. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3340, 261–271. https://doi.org/10.1007/978-3-540-30550-7_22
Mendeley helps you to discover research relevant for your work.