Subsequential transducers: a coalgebraic perspective
暂无分享,去创建一个
[1] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[2] Christophe Reutenauer,et al. Subsequential Functions: Characterizations, Minimization, Examples , 1990, International Meeting of Young Computer Scientists.
[3] Dexter Kozen,et al. Automata and Computability , 1997, Undergraduate Texts in Computer Science.
[4] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .
[5] Samuel Eilenberg,et al. Automata, languages, and machines. A , 1974, Pure and applied mathematics.
[6] Christophe Reutenauer,et al. Minimization of Rational Word Functions , 1991, SIAM J. Comput..
[7] George H. Mealy,et al. A method for synthesizing sequential circuits , 1955 .
[8] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[9] Véronique Bruyère,et al. A Proof of Choffrut's Theorem on Subsequential Functions , 1999, Theor. Comput. Sci..
[10] H. Peter Gumm,et al. On Minimal Coalgebras , 2008, Appl. Categorical Struct..
[11] H. Peter Gumm,et al. Types and coalgebraic structure , 2005 .
[12] Jirí Adámek,et al. Abstract and Concrete Categories - The Joy of Cats , 1990 .
[13] Yde Venema,et al. Coalgebraic Automata Theory: Basic Results , 2008, Log. Methods Comput. Sci..
[14] S. Lane. Categories for the Working Mathematician , 1971 .
[15] Dirk Pattinson,et al. Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..
[16] K. Brown,et al. Graduate Texts in Mathematics , 1982 .
[17] Jan J. M. M. Rutten,et al. Behavioural differential equations: a coinductive calculus of streams, automata, and power series , 2003, Theor. Comput. Sci..
[18] Jan J. M. M. Rutten,et al. A note on coinduction and weak bisimilarity for while programs , 1998, RAIRO Theor. Informatics Appl..
[19] Dragan Masulovic,et al. Towards Weak Bisimulation For Coalgebras , 2002, Electron. Notes Theor. Comput. Sci..
[20] Christian Choffrut,et al. Minimizing subsequential transducers: a survey , 2003, Theor. Comput. Sci..
[21] Erik P. de Vink,et al. A hierarchy of probabilistic system types , 2003, CMCS.
[22] Alexandra Silva,et al. An Algebra for Kripke Polynomial Coalgebras , 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
[23] Mehryar Mohri,et al. Finite-State Transducers in Language and Speech Processing , 1997, CL.
[24] H. Gumm. Functors for Coalgebras , 2001 .
[25] Mehryar Mohri,et al. Speech Recognition with Weighted Finite-State Transducers , 2008 .
[26] Christian Choffrut,et al. A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings , 1979, ICALP.
[27] Timo Knuutila,et al. Re-describing an algorithm by Hopcroft , 2001, Theor. Comput. Sci..
[28] M. Lothaire. Algebraic Combinatorics on Words , 2002 .
[29] Jan J. M. M. Rutten,et al. Algebraic Specification and Coalgebraic Synthesis of Mealy Automata , 2006, FACS.
[30] Olivier Carton,et al. Determinization of transducers over finite and infinite words , 2002, Theor. Comput. Sci..
[31] Marcel Paul Schützenberger,et al. Sur une Variante des Fonctions Sequentielles , 1977, Theor. Comput. Sci..
[32] Olivier Carton,et al. Computing the prefix of an automaton , 2000, RAIRO Theor. Informatics Appl..
[33] Horst Herrlich,et al. Abstract and concrete categories , 1990 .
[34] Jan J. M. M. Rutten,et al. Automata and Coinduction (An Exercise in Coalgebra) , 1998, CONCUR.
[35] Donald E. Knuth,et al. Sorting and Searching , 1973 .
[36] James H. Martin,et al. Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition, 2nd Edition , 2000, Prentice Hall series in artificial intelligence.
[37] David Gries,et al. Describing an algorithm by Hopcroft , 1973, Acta Informatica.
[38] Helle Hvid Hansen,et al. Coalgebraising Subsequential Transducers , 2008, CMCS.
[39] Erik P. de Vink,et al. Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract) , 2005, CTCS.