메뉴 건너뛰기




Volumn 53, Issue 1, 1996, Pages 33-60

Language theoretic and algorithmic properties of d-dimensional collages and patterns in a grid

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FRACTALS; TREES (MATHEMATICS);

EID: 0030217753     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1996.0048     Document Type: Article
Times cited : (13)

References (28)
  • 2
    • 0018466966 scopus 로고
    • Composition of top-down and bottom-up tree transductions
    • B. S. Baker, Composition of top-down and bottom-up tree transductions, Inform. and Control 41 (1979), 186-213.
    • (1979) Inform. and Control , vol.41 , pp. 186-213
    • Baker, B.S.1
  • 4
    • 0003160921 scopus 로고
    • Graph expressions and graph rewriting
    • M. Bauderon and B. Courcelle, Graph expressions and graph rewriting, Math. Systems Theory 20 (1987), 83-127.
    • (1987) Math. Systems Theory , vol.20 , pp. 83-127
    • Bauderon, M.1    Courcelle, B.2
  • 5
    • 30244477106 scopus 로고
    • Colloq. Publ., 2nd ed., Amer. Math. Soc., Providence, RI
    • G. Birkhoff, "Lattice Theory," of Colloq. Publ., Vol. XXV, 2nd ed., Amer. Math. Soc., Providence, RI, 1948.
    • (1948) Lattice Theory , vol.25
    • Birkhoff, G.1
  • 6
    • 0000809609 scopus 로고
    • Graph rewriting: An algebraic and logic approach
    • J. van Leuwen, Ed., Elsevier, Amsterdam
    • B. Courcelle, Graph rewriting: an algebraic and logic approach, in "Handbook of Theoretical Computer Science, Vol. B" (J. van Leuwen, Ed.), pp. 193-242, Elsevier, Amsterdam 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 193-242
    • Courcelle, B.1
  • 7
    • 0025398865 scopus 로고
    • The monadic second-order logic of graphs. I. Recognizable sets of finite graphs
    • B. Courcelle, The monadic second-order logic of graphs. I. Recognizable sets of finite graphs, Inform. and Comput. 85 (1990), 12-75.
    • (1990) Inform. and Comput. , vol.85 , pp. 12-75
    • Courcelle, B.1
  • 8
    • 0027646928 scopus 로고
    • Affine automata and related techniques for generation of complex images
    • K. Culik II and S. Dube, Affine automata and related techniques for generation of complex images, Theoret. Comput. Sci. 116 (1993), 373-398.
    • (1993) Theoret. Comput. Sci. , vol.116 , pp. 373-398
    • Culik K. II1    Dube, S.2
  • 9
    • 84947748993 scopus 로고    scopus 로고
    • Chain-code pictures and collages generated by hyperedge replacement
    • "Proceedings, Fifth Intl. Workshop on Graph Grammars and Their Application to Comput. Sci." (H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds.), Springer-Verlag, New York/ Berlin
    • J. Dassow, A. Habel, and S. Taubenberger, Chain-code pictures and collages generated by hyperedge replacement, in "Proceedings, Fifth Intl. Workshop on Graph Grammars and Their Application to Comput. Sci." (H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Springer-Verlag, New York/ Berlin, 1996.
    • (1996) Lecture Notes in Computer Science
    • Dassow, J.1    Habel, A.2    Taubenberger, S.3
  • 10
    • 0002197221 scopus 로고
    • Decision problems and regular chain code picture languages
    • J. Dassow and F. Hinz, Decision problems and regular chain code picture languages, Discrete Appl. Math. 45 (1993), 29-49.
    • (1993) Discrete Appl. Math. , vol.45 , pp. 29-49
    • Dassow, J.1    Hinz, F.2
  • 11
    • 0040326673 scopus 로고    scopus 로고
    • Doctoral dissertation, University of Bremen, Germany
    • F. Drewes, "Computation by Tree Transductions," Doctoral dissertation, University of Bremen, Germany, 1996.
    • (1996) Computation by Tree Transductions
    • Drewes, F.1
  • 12
    • 0030166248 scopus 로고    scopus 로고
    • A lower bound on the growth of functions computed by tree transductions
    • F. Drewes, A lower bound on the growth of functions computed by tree transductions, Fund. Inform. 26 (1996); short version in "CAAP 94," Lect. Notes in Comput. Sci., Vol. 787, Springer-Verlag, New York/ Berlin, 1995.
    • (1996) Fund. Inform. , vol.26
    • Drewes, F.1
  • 13
    • 0030166248 scopus 로고    scopus 로고
    • CAAP 94
    • short version Springer-Verlag, New York/ Berlin
    • F. Drewes, A lower bound on the growth of functions computed by tree transductions, Fund. Inform. 26 (1996); short version in "CAAP 94," Lect. Notes in Comput. Sci., Vol. 787, Springer-Verlag, New York/ Berlin, 1995.
    • (1995) Lect. Notes in Comput. Sci. , vol.787
  • 15
    • 85029979387 scopus 로고    scopus 로고
    • (Un)decidability of properties of pictures generated by collage grammars
    • to appear
    • F. Drewes and H. Kreowski, (Un)decidability of properties of pictures generated by collage grammars, Fund. Inform., to appear.
    • Fund. Inform.
    • Drewes, F.1    Kreowski, H.2
  • 16
    • 30244520837 scopus 로고
    • Fractal geometry, turing machines, and divide-and-conquer recurrences
    • S. Dube, Fractal geometry, Turing machines, and divide-and-conquer recurrences, RAIRO Theoret. Inform. Appl. 28 (1994), 405-423.
    • (1994) RAIRO Theoret. Inform. Appl. , vol.28 , pp. 405-423
    • Dube, S.1
  • 17
    • 0000988941 scopus 로고
    • Bottom-up and top-down tree transformations - A comparison
    • J. Engelfriet, Bottom-up and top-down tree transformations - A comparison, Math. Systems Theory 9, No. 3 (1975), 198-231.
    • (1975) Math. Systems Theory , vol.9 , Issue.3 , pp. 198-231
    • Engelfriet, J.1
  • 18
    • 85010953769 scopus 로고
    • Graph grammars and tree transducers
    • "Proceedings, CAAP 94" (S. Tison, Ed.), Springer-Verlag, Berlin/New York
    • J. Engelfriet, Graph grammars and tree transducers, in "Proceedings, CAAP 94" (S. Tison, Ed.), Lecture Notes in Computer Science, Vol. 787, pp. 15-37, Springer-Verlag, Berlin/New York, 1994.
    • (1994) Lecture Notes in Computer Science , vol.787 , pp. 15-37
    • Engelfriet, J.1
  • 21
    • 85030318269 scopus 로고
    • Collage grammars
    • "Proceedings, Fourth Intl. Workshop on Graph Grammars and Their Application to Comput. Sci." (H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds.), Springer-Verlag, New York/Berlin
    • A. Habel and H. Kreowski, Collage grammars, in "Proceedings, Fourth Intl. Workshop on Graph Grammars and Their Application to Comput. Sci." (H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds.), Lecture Notes in Computer Science, Vol. 532, pp. 411-429, Springer-Verlag, New York/Berlin, 1991.
    • (1991) Lecture Notes in Computer Science , vol.532 , pp. 411-429
    • Habel, A.1    Kreowski, H.2
  • 22
    • 38249003339 scopus 로고
    • Collages and patterns generated by hyperedge replacement
    • A. Habel, H. Kreowski, and S. Taubenberger, Collages and patterns generated by hyperedge replacement, Languages Design 1 (1993), 125-145.
    • (1993) Languages Design , vol.1 , pp. 125-145
    • Habel, A.1    Kreowski, H.2    Taubenberger, S.3
  • 23
    • 0002718609 scopus 로고
    • Algebraic automata and context-free sets
    • J. Mezei and J. B. Wright, Algebraic automata and context-free sets, Inform. and Control 11 (1967), 3-29.
    • (1967) Inform. and Control , vol.11 , pp. 3-29
    • Mezei, J.1    Wright, J.B.2
  • 25
    • 34250498101 scopus 로고
    • Mappings and grammars on trees
    • W. C. Rounds, Mappings and grammars on trees, Math. Systems Theory 4 (1970), 257-287.
    • (1970) Math. Systems Theory , vol.4 , pp. 257-287
    • Rounds, W.C.1
  • 28
    • 0002529479 scopus 로고
    • Tree automata: An informal survey
    • A. V. Aho, Ed., Prentice-Hall, Englewood Cliffs, NJ, revised version of [26]
    • J. W. Thatcher, Tree automata: An informal survey, in "Currents in the Theory of Computing" (A. V. Aho, Ed.), pp. 143-172, Prentice-Hall, Englewood Cliffs, NJ, 1973; revised version of [26].
    • (1973) Currents in the Theory of Computing , pp. 143-172
    • Thatcher, J.W.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.