Sciweavers

38 search results - page 2 / 8
» Minimizing Deterministic Lattice Automata
Sort
View
WIA
2007
Springer
14 years 3 months ago
An Implementation of Deterministic Tree Automata Minimization
Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada
IJFCS
2008
93views more  IJFCS 2008»
13 years 9 months ago
Exact Generation of Minimal Acyclic Deterministic Finite Automata
Marco Almeida, Nelma Moreira, Rogério Reis
STACS
2009
Springer
14 years 4 months ago
On the Average Complexity of Moore's State Minimization Algorithm
Abstract. We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moo...
Frédérique Bassino, Julien David, Cy...
WIA
1998
Springer
14 years 2 months ago
Minimal Cover-Automata for Finite Languages
A cover-automaton A of a finite language L is a finite automaton that accepts all words in L and possibly other words that are longer than any word in L. A minimal deterministic co...
Cezar Câmpeanu, Nicolae Santean, Sheng Yu
AMW
2010
13 years 11 months ago
What You Must Remember When Processing Data Words
We provide a Myhill-Nerode-like theorem that characterizes the class of data languages recognized by deterministic finite-memory automata (DMA). As a byproduct of this characteriza...
Michael Benedikt, Clemens Ley, Gabriele Puppis