Recognizable two-dimensional languages (REC) are defined by tiling systems that generalize to two dimensions non-deterministic finite automata for strings. We introduce the notion of deterministic tiling system and the corresponding family of languages (DREC) and study its structural and closure properties. Furthermore we show that, in contrast with the one-dimensional case, there exist other classes between deterministic and non-deterministic families that we separate by means of examples and decidability properties.
|Titolo:||Deterministic and Unambiguous families within Recognizable Two-dimensional Languages|
|Data di pubblicazione:||2010|
|Appare nelle tipologie:||1.1 Articolo in rivista|