메뉴 건너뛰기




Volumn 254, Issue 1-3, 2002, Pages 231-258

Formal series over sorted algebras

Author keywords

[No Author keywords available]

Indexed keywords


EID: 31244431610     PISSN: 0012365X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0012-365X(01)00294-1     Document Type: Article
Times cited : (3)

References (30)
  • 1
    • 0003687834 scopus 로고
    • Definable operations in general algebras, and the theory of automata and flowcharts
    • IBM Labor, Wien
    • H. Bekic, Definable operations in general algebras, and the theory of automata and flowcharts, Technical Report, IBM Labor, Wien, 1967.
    • (1967) Technical Report
    • Bekic, H.1
  • 2
    • 0001251154 scopus 로고
    • Recognizable formal power series on trees
    • J. Berstel, C. Reutenauer, Recognizable formal power series on trees, Theoret. Comput. Sci. 18 (1982) 115-148.
    • (1982) Theoret. Comput. Sci. , vol.18 , pp. 115-148
    • Berstel, J.1    Reutenauer, C.2
  • 3
    • 0033483408 scopus 로고    scopus 로고
    • Equational elements in additive algebras
    • S. Bozapalidis, Equational elements in additive algebras, Theory Comput. Systems 32 (1999) 1-33.
    • (1999) Theory Comput. Systems , vol.32 , pp. 1-33
    • Bozapalidis, S.1
  • 4
    • 77956972992 scopus 로고
    • The algebraic theory of context-free languages
    • P. Braffort, D. Hirschberg (Eds.), North-Holland, Amsterdam
    • N. Chomsky, M.P. Schützenberger, The algebraic theory of context-free languages, in: P. Braffort, D. Hirschberg (Eds.), Computer Programming and Formal Systems, North-Holland, Amsterdam, 1963, pp. 118-161.
    • (1963) Computer Programming and Formal Systems , pp. 118-161
    • Chomsky, N.1    Schützenberger, M.P.2
  • 5
    • 0002131241 scopus 로고
    • Enumeration des graphes planaires à l'aide des series formelles en variables noncommutatives
    • R. Cori, J. Richard, Enumeration des graphes planaires à l'aide des series formelles en variables noncommutatives, Discrete Math. 2 (1972) 115-162.
    • (1972) Discrete Math. , vol.2 , pp. 115-162
    • Cori, R.1    Richard, J.2
  • 6
    • 46149136995 scopus 로고
    • Equivalences and transformations of regular systems-applications to recursive program schemes and grammars
    • B. Courcelle, Equivalences and transformations of regular systems-applications to recursive program schemes and grammars, Theoret. Comp. Sci. 42 (1986) 1-122.
    • (1986) Theoret. Comp. Sci. , vol.42 , pp. 1-122
    • Courcelle, B.1
  • 7
    • 0030216678 scopus 로고    scopus 로고
    • Basic notions of universal algebra for language theory and graph grammars
    • B. Courcelle, Basic notions of universal algebra for language theory and graph grammars, Theoret. Comput. Sci. 163 (1996) 1-54.
    • (1996) Theoret. Comput. Sci. , vol.163 , pp. 1-54
    • Courcelle, B.1
  • 8
    • 24044527406 scopus 로고    scopus 로고
    • A Kleene theorem for Lindenmayerian algebraic power series
    • Z. Ésik, W. Kuich, A Kleene theorem for Lindenmayerian algebraic power series, J. Automata, Languages Combin. 5 (2000) 109-122.
    • (2000) J. Automata, Languages Combin. , vol.5 , pp. 109-122
    • Ésik, Z.1    Kuich, W.2
  • 9
    • 0003002778 scopus 로고    scopus 로고
    • Tree languages
    • G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin, Chapter 1.
    • F. Gécseg, M. Steinby, Tree languages, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 3, Springer, Berlin, 1997, pp. 1-68 (Chapter 1).
    • (1997) Handbook of Formal Languages , vol.3 , pp. 1-68
    • Gécseg, F.1    Steinby, M.2
  • 10
    • 0000791686 scopus 로고
    • Two families of languages related to ALGOL
    • S. Ginsburg, H.G. Rice, Two families of languages related to ALGOL, J. Assoc. Comput. Mach. 9 (1962) 350-371.
    • (1962) J. Assoc. Comput. Mach. , vol.9 , pp. 350-371
    • Ginsburg, S.1    Rice, H.G.2
  • 13
    • 37949047819 scopus 로고
    • A characterization of context-free languages
    • J. Gruska, A characterization of context-free languages, J. Comput. System Sci. 5 (1971) 353-364.
    • (1971) J. Comput. System Sci. , vol.5 , pp. 353-364
    • Gruska, J.1
  • 15
    • 0009282922 scopus 로고
    • On limits in complete semirings
    • G. Karner, On limits in complete semirings, Semigroup Forum 45 (1992) 148-165.
    • (1992) Semigroup Forum , vol.45 , pp. 148-165
    • Karner, G.1
  • 16
    • 0010165054 scopus 로고
    • Correspondences between plane trees and binary sequences
    • D.A. Klarner, Correspondences between plane trees and binary sequences, J. Comb. Theory 9 (1970) 401-411.
    • (1970) J. Comb. Theory , vol.9 , pp. 401-411
    • Klarner, D.A.1
  • 17
    • 0003067817 scopus 로고
    • Representation of events in nerve nets and finite automata
    • C.E. Shannon, J. McCarthy (Eds.), Princeton University Press, Princeton
    • St.C. Kleene, Representation of events in nerve nets and finite automata, in: C.E. Shannon, J. McCarthy (Eds.), Automata Studies, Princeton University Press, Princeton, 1956, pp. 3-41.
    • (1956) Automata Studies , pp. 3-41
    • Kleene, S.C.1
  • 18
    • 0014771147 scopus 로고
    • Über die Entropie kontext-freier Sprachen, Habilitationsschrift, Technische Hochschule Wien, 1970. English translation: On the entropy of context-free languages
    • W. Kuich, Über die Entropie kontext-freier Sprachen, Habilitationsschrift, Technische Hochschule Wien, 1970. (English translation: On the entropy of context-free languages, Inf. Control 16 (1970) 173-200.)
    • (1970) Inf. Control , vol.16 , pp. 173-200
    • Kuich, W.1
  • 19
    • 33751009765 scopus 로고
    • Languages and the enumeration of planted plane trees
    • W. Kuich, Languages and the enumeration of planted plane trees, Indag. Math. 32 (1970) 268-280.
    • (1970) Indag. Math. , vol.32 , pp. 268-280
    • Kuich, W.1
  • 20
    • 0003313944 scopus 로고    scopus 로고
    • Semirings and formal power series: Their relevance to formal languages and automata theory
    • G. Rozenberg, A. Salomaa (Eds.), Springer, Berlin, Chapter 9.
    • W. Kuich, Semirings and formal power series: their relevance to formal languages and automata theory, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, Vol. 1, Springer, Berlin, 1997, pp. 609-677 (Chapter 9).
    • (1997) Handbook of Formal Languages , vol.1 , pp. 609-677
    • Kuich, W.1
  • 22
    • 84896693413 scopus 로고    scopus 로고
    • Gaußian elimination and a characterization of algebraic power series, MFCS 98
    • Springer, Berlin
    • W. Kuich, Gaußian elimination and a characterization of algebraic power series, MFCS 98, Lecture Notes in Computer Science, Vol. 1450, Springer, Berlin, 1998, pp. 512-521.
    • (1998) Lecture Notes in Computer Science , vol.1450 , pp. 512-521
    • Kuich, W.1
  • 23
    • 84884723272 scopus 로고    scopus 로고
    • Formal series over algebras, MFCS 2000
    • Springer, Berlin
    • W. Kuich, Formal series over algebras, MFCS 2000, Lecture Notes in Computer Science, Vol. 1983, Springer, Berlin, 2000, pp. 488-496.
    • (2000) Lecture Notes in Computer Science , vol.1983 , pp. 488-496
    • Kuich, W.1
  • 25
    • 0002718609 scopus 로고
    • Algebraic automata and context-free sets
    • J. Mezei, J.B. Wright, Algebraic automata and context-free sets, Inf. Control 11 (1967) 3-29.
    • (1967) Inf. Control , vol.11 , pp. 3-29
    • Mezei, J.1    Wright, J.B.2
  • 29
    • 0003652674 scopus 로고    scopus 로고
    • Cambridge University Press, Cambridge
    • R.P. Stanley, Enumerative Combinatorics, Vol. 2, Cambridge University Press, Cambridge, 1999.
    • (1999) Enumerative Combinatorics , vol.2
    • Stanley, R.P.1
  • 30
    • 0003201744 scopus 로고
    • Universal Algebra for Computer Scientists
    • Springer, Berlin
    • W. Wechler, Universal Algebra for Computer Scientists, EATCS Monographs on Computer Science, Vol. 25, Springer, Berlin, 1992.
    • (1992) EATCS Monographs on Computer Science , vol.25
    • Wechler, W.1


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