Sciweavers

WIA
2004
Springer
13 years 10 months ago
Testability of Oracle Automata
d abstract) Gaoyan Xie, Cheng Li, and Zhe Dang   School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA Abstract. In this paper, ...
Gaoyan Xie, Cheng Li, Zhe Dang
WIA
2004
Springer
13 years 10 months ago
Size Reduction of Multitape Automata
Hellis Tamm, Matti Nykänen, Esko Ukkonen
WIA
2004
Springer
13 years 10 months ago
Enumerating Regular Expressions and Their Languages
Abstract. We discuss enumeration of regular expressions and the distinct languages they represent.
Jonathan Lee, Jeffrey Shallit
WIA
2004
Springer
13 years 10 months ago
A BDD-Like Implementation of an Automata Package
In this paper we propose a new data structure, called shared automata, for representing deterministic finite automata (DFA). Shared automata admit a strong canonical form for DFA ...
Jean-Michel Couvreur
WIA
2004
Springer
13 years 10 months ago
Brute Force Determinization of NFAs by Means of State Covers
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...
Jean-Marc Champarnaud, Fabien Coulon, Thomas Paran...
WIA
2004
Springer
13 years 10 months ago
The Generalization of Generalized Automata: Expression Automata
Abstract. We explore expression automata with respect to determinism, minimization and primeness. We define determinism of expression automata using prefix-freeness. This approac...
Yo-Sub Han, Derick Wood
WIA
2004
Springer
13 years 10 months ago
On the Complexity of Hopcroft's State Minimization Algorithm
Abstract. Hopcroft’s algorithm for minimizing a deterministic automaton has complexity O(n log n). We show that this complexity bound is tight. More precisely, we provide a famil...
Jean Berstel, Olivier Carton
WIA
2004
Springer
13 years 10 months ago
A General Weighted Grammar Library
We present a general weighted grammar software library, the GRM Library, that can be used in a variety of applications in text, speech, and biosequence processing. The underlying a...
Cyril Allauzen, Mehryar Mohri, Brian Roark