Study of Limits of Solvability in Tag Systems.

Authors :: Hutchison, David
Kanade, Takeo
Kittler, Josef
Kleinberg, Jon M.
Mattern, Friedemann
Mitchell, John C.
Naor, Moni
Nierstrasz, Oscar
Pandu Rangan, C.
Steffen, Bernhard
Sudan, Madhu
Terzopoulos, Demetri
Tygar, Doug
Vardi, Moshe Y.
Weikum, Gerhard
Durand-Lose, Jérôme
Margenstern, Maurice
De Mol, Liesbeth
Source :: Machines, Computations & Universality (9783540745921); 2007, p170-181, 12p
Publication Year :: 2007
Abstract: In this paper we will give an outline of the proof of the solvability of the halting and reachability problem for 2-symbolic tag systems with a deletion number v = 2. This result will be situated in a more general context of research on limits of solvability in tag systems. [ABSTRACT FROM AUTHOR]