Sciweavers

52
Voted
DLT
2007
15 years 10 days ago
Avoiding Approximate Squares
Dalia Krieger, Pascal Ochem, Narad Rampersad, Jeff...
61
Voted
DLT
2007
15 years 10 days ago
Quantitative Generalizations of Languages
Thomas A. Henzinger
95
Voted
DLT
2007
15 years 10 days ago
State Complexity of Union and Intersection of Finite Languages
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
Yo-Sub Han, Kai Salomaa
69
Voted
DLT
2007
15 years 10 days ago
Inapproximability of Nondeterministic State and Transition Complexity Assuming P=!NP
Abstract. Inapproximability results concerning minimization of nondeterministic finite automata relative to given deterministic finite automata were obtained only recently, modul...
Hermann Gruber, Markus Holzer
61
Voted
DLT
2007
15 years 10 days ago
An Efficient Computation of the Equation K-Automaton of a Regular K-Expression
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Zi...
102
Voted
DLT
2007
15 years 10 days ago
2-Visibly Pushdown Automata
Visibly Pushdown Automata (VPA) are a special case of pushdown machines where the stack operations are driven by the input. In this paper, we consider VPA with two stacks, namely 2...
Dario Carotenuto, Aniello Murano, Adriano Peron
103
Voted
DLT
2007
15 years 10 days ago
Two Element Unavoidable Sets of Partial Words
d Abstract) F. Blanchet-Sadri1 , N.C. Brownstein2 , and Justin Palumbo3 1 Department of Computer Science, University of North Carolina, P.O. Box 26170, Greensboro, NC 27402–6170,...
Francine Blanchet-Sadri, N. C. Brownstein, Justin ...
DLT
2007
15 years 10 days ago
The Dynamics of Cellular Automata in Shift-Invariant Topologies
Abstract. We study the dynamics of cellular automata, and more specifically their transitivity and expansivity, when the set of configurations is endowed with a shift-invariant (p...
Laurent Bienvenu, Mathieu Sablik