Implementation and Application of Automata
暂无分享,去创建一个
J. van Leeuwen | Jan van Leeuwen | Denis Maurel | Jean-Marc Champarnaud | Jean-Marc Champarnaud | D. Maurel | J. Leeuwen
[1] Edward J. McCluskey,et al. Signal Flow Graph Techniques for Sequential Circuit State Diagrams , 1963, IEEE Trans. Electron. Comput..
[2] Francisco Casacuberta,et al. Probabilistic finite-state machines - part I , 2005, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[3] A. N. Trahtman. Algorithms finding the order of local testability of deterministic finite automaton and estimations of the order , 2000 .
[4] Janusz A. Brzozowski,et al. Derivatives of Regular Expressions , 1964, JACM.
[5] Nikolaj Bjørner,et al. Symbolic finite state transducers: algorithms and applications , 2012, POPL '12.
[6] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.
[7] Djelloul Ziadi,et al. From Mirkin's Prebases to Antimirov's Word Partial Derivatives , 2001, Fundam. Informaticae.
[8] A. N. Trahtman. A POLYNOMIAL TIME ALGORITHM FOR LOCAL TESTABILITY AND ITS LEVEL , 1999 .
[9] Oscar H. Ibarra,et al. Further remarks on DNA overlap assembly , 2017, Inf. Comput..
[10] Martin Kutrib,et al. The chop of languages , 2017, Theor. Comput. Sci..
[11] 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.
[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] Cyril Allauzen,et al. Efficient Algorithms for Testing the Twins Property , 2003, J. Autom. Lang. Comb..
[14] Oscar H. Ibarra,et al. On the overlap assembly of strings and languages , 2017, Natural Computing.
[15] Ion Petre,et al. Self-assembly of strings and languages , 2007, Theor. Comput. Sci..
[16] Ludwig Staiger,et al. The Kolmogorov complexity of infinite words , 2007, Theor. Comput. Sci..
[17] Tom van Dijk,et al. Oink: an Implementation and Evaluation of Modern Parity Game Solvers , 2018, TACAS.
[18] Lluís Padró. POS Tagging Using Relaxation Labelling , 1996, COLING.
[19] Jean-Cédric Chappelier,et al. Integrating external dictionaries into Part-of-speech taggers , 2001 .
[20] Jacques Sakarovitch,et al. Derivatives of rational expressions with multiplicity , 2005, Theor. Comput. Sci..
[21] Sheng Yu,et al. On the state complexity of intersection of regular languages , 1991, SIGA.
[22] Derick Wood,et al. Grail: A C++ Library for Automata and Expressions , 1994, J. Symb. Comput..
[23] Michael Domaratzki. Minimality in template-guided recombination , 2009, Inf. Comput..
[24] Andrew J. Viterbi,et al. A J Viterbi Error Bounds For Convolutional Codes And An Asymptotically Optimal Decoding Algorithm , 2015 .
[25] Djelloul Ziadi,et al. Canonical derivatives, partial derivatives and finite automaton constructions , 2002, Theor. Comput. Sci..
[26] A. N. Trahtman. An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata , 1999 .
[27] Yuan Gao,et al. A Survey on Operational State Complexity , 2015, J. Autom. Lang. Comb..
[28] Jonathan S. Golan,et al. The theory of semirings with applications in mathematics and theoretical computer science , 1992, Pitman monographs and surveys in pure and applied mathematics.
[29] Stavros Konstantinidis. Transducers and the Properties of Error-Detection, Error-Correction, and Finite-Delay Decodability 1 , 2002 .
[30] Nelma Moreira,et al. On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions , 2017, J. Autom. Lang. Comb..
[31] Imre Simon,et al. Piecewise testable events , 1975, Automata Theory and Formal Languages.
[32] Thomas Wilke,et al. Alternating tree automata, parity games, and modal {$\mu$}-calculus , 2001 .
[33] Atro Voutilainen,et al. A language-independent system for parsing unrestricted text , 1995 .
[34] A. N. Trahtman. The varieties of n-testable semigroups , 1983 .
[35] Lila Kari,et al. Coding properties of DNA languages , 2003, Theor. Comput. Sci..
[36] Janusz A. Brzozowski,et al. Towards a Theory of Complexity of Regular Languages , 2017, J. Autom. Lang. Comb..
[37] Valentin M. Antimirov. Partial Derivatives of Regular Expressions and Finite Automaton Constructions , 1996, Theor. Comput. Sci..
[38] Ronald M. Kaplan,et al. Lexical Resource Reconciliation in the Xerox Linguistic Environment , 1997, Workshop On Computational Environments For Grammar Development And Linguistic Engineering.
[39] Masami Ito,et al. Generalized periodicity and primitivity for words , 2007, Math. Log. Q..
[40] Margus Veanes. Applications of Symbolic Finite Automata , 2013, CIAA.
[41] Lila Kari,et al. Codes, Involutions, and DNA Encodings , 2002, Formal and Natural Computing.
[42] A. N. Trahtman. Identities of locally testable semigroups , 1999 .
[43] Bell Telephone,et al. Regular Expression Search Algorithm , 1968 .
[44] Jacques Sakarovitch,et al. Squaring transducers: an efficient procedure for deciding functionality and sequentiality , 2000, Theor. Comput. Sci..
[45] S C Kleene,et al. Representation of Events in Nerve Nets and Finite Automata , 1951 .
[46] Jacques Stern,et al. Complexity of Some Problems from the Theory of Automata , 1985, Inf. Control..
[47] Ludwig Staiger. Finite Automata and Randomness , 2018, DCFS.
[48] Francisco Casacuberta,et al. Probabilistic finite-state machines - part II , 2005, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[49] Pierre Wolper,et al. An automata-theoretic approach to branching-time model checking , 2000, JACM.
[50] Ludwig Staiger,et al. Exact Constructive and Computable Dimensions , 2017, Theory of Computing Systems.
[51] Mehryar Mohri,et al. On some applications of finite-state automata theory to natural language processing , 1996, Nat. Lang. Eng..
[52] Mehryar Mohri,et al. Finite-State Transducers in Language and Speech Processing , 1997, CL.
[53] Pascal Caron,et al. Partial Derivatives of an Extended Regular Expression , 2011, LATA.
[54] A. N. Trahtman,et al. Piecewise and Local Threshold Testability of DFA , 2001 .