A logical approach to locality in pictures languages

This paper deals with descriptive complexity of picture languages of any dimension by fragments of existential second-order logic: 1) We generalize to any dimension the characterization by Giammarresi et al. (1996) of the class of recognizable picture languages in existential monadic second-order lo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of computer and system sciences 2016-09, Vol.82 (6), p.959-1006
Hauptverfasser:	Grandjean, Etienne, Olive, Frédéric
Format:	Artikel
Sprache:	eng
Schlagworte:	Cellular automata Complexity Computational Complexity Computer Science Existential second-order logic Fragments Languages Linear time Locality and tiling Logic Logical characterizations Monadic second-order logic Picture languages Pictures Recognizability
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!