On the Average Size of Glushkov and Equation Automata for KAT Expressions
暂无分享,去创建一个
Nelma Moreira | Rogério Reis | Sabine Broda | António Machiavelo | Nelma Moreira | Rogério Reis | Sabine Broda | António Machiavelo
[1] Dexter Kozen,et al. Kleene Algebra with Tests: Completeness and Decidability , 1996, CSL.
[2] Djelloul Ziadi,et al. From Mirkin's Prebases to Antimirov's Word Partial Derivatives , 2001, Fundam. Informaticae.
[3] D. Kozen,et al. The Complexity of Kleene Algebra with Tests , 1996 .
[4] Nelma Moreira,et al. Deciding KAT and Hoare Logic with Derivatives , 2012, GandALF.
[5] Dexter Kozen,et al. Kleene algebra with tests , 1997, TOPL.
[6] J. A. Brzozowski,et al. Review: B. G. Mirkin, An Algorithm for Constructing a Base in a Language of Regular Expressions , 1971, Journal of Symbolic Logic.
[7] Philippe Flajolet,et al. Analytic Combinatorics , 2009 .
[8] Nelma Moreira,et al. An Introduction to Desriptional Complexity of Regular Languages through Analytic Combinatorics , 2012 .
[9] Djelloul Ziadi,et al. Canonical derivatives, partial derivatives and finite automaton constructions , 2002, Theor. Comput. Sci..
[10] Donald M. Kaplan,et al. Regular Expressions and the Equivalence of Programs , 1969, J. Comput. Syst. Sci..
[11] Cyril Nicaud,et al. On the Average Size of Glushkov's Automata , 2009, LATA.
[12] Nelma Moreira,et al. On the Average State Complexity of Partial derivative Automata: an analytic Combinatorics Approach , 2011, Int. J. Found. Comput. Sci..
[13] Alex K. Simpson,et al. Computational Adequacy in an Elementary Topos , 1998, CSL.
[14] James Worthington. Feasibly Reducing KAT Equations to KA Equations , 2008, 0801.2368.
[15] P. Flajolet,et al. Analytic Combinatorics: RANDOM STRUCTURES , 2009 .
[16] V. Glushkov. THE ABSTRACT THEORY OF AUTOMATA , 1961 .
[17] Nelma Moreira,et al. On the Average Size of Glushkov and Partial derivative Automata , 2012, Int. J. Found. Comput. Sci..
[18] D. Kozen. Automata on Guarded Strings and Applications , 2001 .
[19] Wojciech Rytter,et al. On the Maximal Number of Cubic Runs in a String , 2010, LATA.