Dora Giammarresi, Antonio Restivo  Home/Search
Context Related
| dsi.unive.it/~dora/Papers...chap96.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsi.unive.it/~dora/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, much work have been done in studying properties of picture languages recognized by finite-state machines and several other models have been designed. A survey on this subject can be found in [21]. An intersting model of two-dimensional tape acceptor is the two-dimensional on-line tessellation automaton introduced by K. Inoue and A. Nakamura in [18]. This is defined as an infinite two-dimensional array of identical conventional finite-state automata and it is a special type of... (Update)
Context of citations to this paper: More
...under disjunction (Section 2. 9) Moreover, regular graph constraints generalize the notion of tree automata [27, 3] and domino systems [12], without going all the way to monadic second order logic for richer domains. In this paper we consider as the domain of interpretation...
.... of trees, regular graph constraints reduce to tree automata [6,35] if C is the set of grids, the constraints reduce to domino systems [17]. We therefore view regular graph constraints as a natural generalization of constraints on trees and grids, a generalization that is...
Cited by: More
Czech Pattern Recognition Workshop 2000 - (Ed.) (2000) (Correct)
Algebra of Networks - Modeling simple networks, as well as.. - Stefanescu (Correct)
Existential Heap Abstraction Entailment is Undecidable - Kuncak, Rinard (2003) (Correct)
Active bibliography (related documents): More All
0.6: A Characterization of Recognizable Picture Languages By Tilings.. - Simplot (1999) (Correct)
0.5: Rectangles and Squares Recognized By Two-Dimensional Automata - Kari, Moore (Correct)
0.5: Regular Expressions and Context-Free Grammars for Picture Languages - Matz (1997) (Correct)
Similar documents based on text: More All
0.6: Extending Formal Languages Hierarchies to Higher Dimensions - Giammarresi, Restivo (Correct)
0.5: Periodicities on Trees - Giammarresi, Mantaci, al. (1995) (Correct)
0.5: Block-Deterministic Regular Languages - Giammarresi, Montalbano, Wood (1998) (Correct)
Related documents from co-citation: More All
10: Recognizable picture languages and domino tiling (context) - Latteux, Simplot - 1994
9: Monadic second-order logic over rectangular pictures and recognizability by tili.. (context) - Giammarresi, Restivo et al. - 1996
7: Regular expressions and Context-free Grammars for picture languages - Matz - 1997
BibTeX entry: (Update)
D. Giammarresi and A. Restivo. Two-dimensional languages. Handbook of Formal Languages, G.Rozenberg, A.Salomaa (Eds), Vol. III, pag. 215--268. Springer Verlag, Berlin, 1997. http://citeseer.ist.psu.edu/giammarresi97twodimensional.html More
@incollection{ giammarresi97twodimensional,
author = "D. Giammarresi and A. Restivo",
title = "Two-Dimensional Languages",
booktitle = "Handbook of Formal Languages",
volume = "3, Beyond Words",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "A. Salomaa and G. Rozenberg",
pages = "215--267",
year = "1997",
url = "citeseer.ist.psu.edu/giammarresi97twodimensional.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
327 Languages and Machines (context) - Eilenberg - 1974 ACM
127 Counter-free Automata (context) - Naughton, Papert - 1971
104 Graph rewriting: An algebraic and logic approach (context) - Courcelle - 1990
100 Weak second-order arithmetic and finite automata (context) - Buchi - 1960
81 Mathematical Logic (context) - Ebbinghaus, Flum et al. - 1984
44 Syntactic methods in pattern recognition (context) - Fu - 1974
35 The algebraic theory of context-free languages (context) - Chomsky, Shutzenberger - 1963
25 Monadic generalized spectra (context) - Fagin - 1975
18 and Automata (context) - Thomas, Tilings - 1991
15 Monadic second order logic over rectangular pictures and rec.. (context) - Giammarresi, Restivo et al. - 1996
15 Formal logic and Circuit complexity (context) - Straubing - 1994
14 On monadic NP vs (context) - Fagin, Stockmeyer et al. - 1993
12 A Survey of two-dimensional automata theory (context) - Inoue, Takanami - 1990 ACM DBLP
11 Recognizable Picture Languages and Domino Tiling (context) - Latteux, Simplot ACM DBLP
4 On equal matrix languages (context) - Siromoney - 1969
4 A Characterization of recognizable picture languages (context) - Inoue, Takanami - 1993
4 Formal Models for Picture Recognition (context) - Rosenfeld - 1979
4 Some properties of two-dimensional on-line tessellation acce.. (context) - Inoue, Nakamura - 1977
4 Two-dimensional finite state recognizability (context) - Giammarresi, Restivo - 1996 ACM DBLP
2 Two-dimensional finite automata and unacceptable functions (context) - Inoue, Nakamura - 1979
2 Transductions and Contex-Free Languages (context) - Berstel - 1979
2 Parallel generation of finite images (context) - Nivat, Saoudi et al. - 1989 ACM
2 Parallel context-free languages (context) - Siromoney, Krithivasan - 1974 DBLP
2 Picture languages with array rewriting rules (context) - Siromoney, Siromoney et al. - 1973
2 Advances in array languages (context) - Siromoney - 1987 ACM DBLP
1 Nonclosure properties of two-dimensional on-line tessellatio.. (context) - Inoue, Nakamura - 1977
1 Sequential rectangular arrays with tables (context) - Siromoney, Subramanian et al. - 1977
1 Classification of Picture Languages with Rational Expression.. (context) - Matz - 1996
1 IEEE Symposium on Switching and Automata Theory (context) - Blum, Hewitt et al. - 1967
1 a decision methods in restricted second oreder arithmetic (context) - Buchi - 1961
1 Langages d'images M'emoire de Licenci'ee en Science Math'ema.. (context) - Gilon - 1995
1 Parallel generation of infinite images (context) - Nivat, Saoudi et al. - 1990
1 A note on two-dimensional finite automata (context) - Inoue, Takanami et al. - 1978
1 Parallel matrix array languages (context) - Wang - 1975
1 Three-way automata on rectangular tapes over a one-letter al.. (context) - Kinber - 1985
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dsi.unive.it/~dora/publ.html): More
Extending Formal Languages Hierarchies to Higher Dimensions - Giammarresi, Restivo (Correct)
Periodicities on Trees - Giammarresi, Mantaci, al. (1995) (Correct)
Transition Diagram Systems and Normal Form Algorithms - Giammarresi, Wood (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC