메뉴 건너뛰기




Volumn 3845 LNCS, Issue , 2006, Pages 116-128

Inside Vaucanson

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX DECLARATIONS; VAUCANSON PLATFORM; WEIGHTED AUTOMATON; XML FORMAT;

EID: 33745172094     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11605157_10     Document Type: Conference Paper
Times cited : (5)

References (19)
  • 2
    • 0037163975 scopus 로고    scopus 로고
    • Canonical derivatives, partial derivatives and finite automaton constructions
    • Champarnaud, J.M., Ziadi, D.: Canonical derivatives, partial derivatives and finite automaton constructions. Theor. Comput. Sci. 289 (2002) 137-163
    • (2002) Theor. Comput. Sci. , vol.289 , pp. 137-163
    • Champarnaud, J.M.1    Ziadi, D.2
  • 3
    • 33745174902 scopus 로고
    • Block-stochastic matrices and associated finite-state languages
    • Kuich, W., Walk, K.: Block-stochastic matrices and associated finite-state languages, Computing (Arch, Eletron. Rechnen) 1(1966) 50-61
    • (1966) Computing (Arch, Eletron. Rechnen) , vol.1 , pp. 50-61
    • Kuich, W.1    Walk, K.2
  • 4
    • 3543030284 scopus 로고    scopus 로고
    • Eléments de théorie des automates. Vuibert
    • Translation: Cambridge Universiy Press, to appear
    • Sakarovitch, J.: Eléments de théorie des automates. Vuibert (2003) Translation: Elements of Automata Theory, Cambridge Universiy Press, to appear.
    • (2003) Elements of Automata Theory
    • Sakarovitch, J.1
  • 5
    • 13644256249 scopus 로고    scopus 로고
    • Derivatives of rational expressions with multiplicity
    • Lombardy, S., Sakarovitch, J.: Derivatives of rational expressions with multiplicity. Theoretical Computer Science 332 (2005) 141-177
    • (2005) Theoretical Computer Science , vol.332 , pp. 141-177
    • Lombardy, S.1    Sakarovitch, J.2
  • 6
    • 0002197352 scopus 로고
    • An n log n algorithm for minimizing states in a finite automaton
    • Theory of machines and computations Technion, Haifa, 1971. Academic Press, New York
    • Hopcroft, J.: An n log n algorithm for minimizing states in a finite automaton. In: Theory of machines and computations (Proc. Internat. Sympos., Technion, Haifa, 1971). Academic Press, New York (1971) 189-196
    • (1971) Proc. Internat. Sympos. , pp. 189-196
    • Hopcroft, J.1
  • 7
    • 23944479713 scopus 로고    scopus 로고
    • On the complexity of hopcroft's state minimization algorithm
    • Domaratzki, M., Okhotin, A., Salomaa, K., Yu, S., eds.: CIAA Springer
    • Berstel, J., Carton, O.: On the complexity of hopcroft's state minimization algorithm. In Domaratzki, M., Okhotin, A., Salomaa, K., Yu, S., eds.: CIAA. Volume 3317 of Lecture Notes in Computer Science., Springer (2004) 35-44
    • (2004) Lecture Notes in Computer Science , vol.3317 , pp. 35-44
    • Berstel, J.1    Carton, O.2
  • 8
    • 0030110111 scopus 로고    scopus 로고
    • Partial derivatives of regular expressions and finite automaton constructions
    • Antimirov, V.M.: Partial derivatives of regular expressions and finite automaton constructions. Theor. Comput. Sci. 155 (1996) 291-319
    • (1996) Theor. Comput. Sci. , vol.155 , pp. 291-319
    • Antimirov, V.M.1
  • 9
    • 0002313940 scopus 로고
    • On relations defined by generalized finite automata
    • Elgot, C.C., Mezei, J.E.: On relations defined by generalized finite automata. IBM J. Res. Develop 9 (1965) 47-68
    • (1965) IBM J. Res. Develop , vol.9 , pp. 47-68
    • Elgot, C.C.1    Mezei, J.E.2
  • 10
    • 50549180615 scopus 로고
    • On the definition of a family of automata
    • Schützenberger, M.P.: On the definition of a family of automata. Information and Control 4 (1961) 245-270
    • (1961) Information and Control , vol.4 , pp. 245-270
    • Schützenberger, M.P.1
  • 11
    • 0347278887 scopus 로고
    • Automata, languages, and machines
    • Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New York
    • Eilenberg, S.: Automata, languages, and machines. Vol. A. Academic Press [A subsidiary of Harcourt Brace Jovanovich, Publishers], New York (1974) Pure and Applied Mathematics, Vol. 58.
    • (1974) Pure and Applied Mathematics , vol.58 A
    • Eilenberg, S.1
  • 14
    • 0012306376 scopus 로고    scopus 로고
    • The design principles of a weighted finite-state transducer library
    • Mohri, M., Pereira, F.C.N., Riley, M.: The design principles of a weighted finite-state transducer library, Theor. Comput. Sci. 231 (2000) 17-32
    • (2000) Theor. Comput. Sci. , vol.231 , pp. 17-32
    • Mohri, M.1    Pereira, F.C.N.2    Riley, M.3
  • 15
    • 0038643699 scopus 로고    scopus 로고
    • Algebraic combinatorics on words
    • Cambridge University Press, Cambridge
    • Lothaire, M.: Algebraic combinatorics on words. Volume 90 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2002)
    • (2002) Encyclopedia of Mathematics and Its Applications , vol.90
    • Lothaire, M.1
  • 16
    • 33745162267 scopus 로고    scopus 로고
    • A static c++ object-oriented programming (scoop) paradigm mixing benefits of traditional oop and generic programming
    • 18th SIGPLAN Conf.
    • Burrus, N., Duret-Lutz, A., Ǵraud, T., Lesage, D., Poss, R.: A static c++ object-oriented programming (scoop) paradigm mixing benefits of traditional oop and generic programming. In: Proc. of MPOOL'03, 18th SIGPLAN Conf. (2003)
    • (2003) Proc. of MPOOL'03
    • Burrus, N.1    Duret-Lutz, A.2    Ǵraud, T.3    Lesage, D.4    Poss, R.5
  • 17
    • 84858901573 scopus 로고    scopus 로고
    • On orthogonal speciali:zation in c++: Dealing with efficiency and algebraic abstraction in vaucanson
    • Régis-Gianas, Y., Poss, R.: On orthogonal speciali:zation in c++: Dealing with efficiency and algebraic abstraction in vaucanson. In: Proc. of POOSC'2003. (2003)
    • (2003) Proc. of POOSC'2003
    • Régis-Gianas, Y.1    Poss, R.2
  • 18
    • 84858901572 scopus 로고    scopus 로고
    • Xerces: (http://xml.apache.org/xerces-c/)


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