Sciweavers

WIA
2004
Springer
14 years 1 months ago
Size Reduction of Multitape Automata
Hellis Tamm, Matti Nykänen, Esko Ukkonen
WIA
2004
Springer
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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
14 years 1 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
UPP
2004
Springer
14 years 1 months ago
From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...
Klaus-Peter Zauner