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.
Anselmo, M., Giammarresi, D., Madonia, M. (2010). Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages. FUNDAMENTA INFORMATICAE, 98, 143-166 [10.3233/FI-2010-221].
Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages
GIAMMARRESI, DORA;
2010-01-01
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
