Sciweavers

26 search results - page 2 / 6
» dlt 2008
Sort
View
43
Voted
DLT
2008
14 years 11 months ago
Algorithmically Independent Sequences
Cristian S. Calude, Marius Zimand
49
Voted
DLT
2008
14 years 11 months ago
General Algorithms for Testing the Ambiguity of Finite Automata
Cyril Allauzen, Mehryar Mohri, Ashish Rastogi
DLT
2008
14 years 11 months ago
Large Simple Binary Equality Words
Abstract. Let w be an equality word of two nonperiodic binary morphisms g, h : {a, b} . Suppose that no overflow occurs twice in w and that w contains at least 9 occurrences of a ...
Jana Hadravová, Stepan Holub
DLT
2008
14 years 11 months ago
When Is Reachability Intrinsically Decidable?
A graph H is computable if there is a graph G = (V, E) isomorphic to H where the set V of vertices and the edge relation E are both computable. In this case G is called a computabl...
Barbara F. Csima, Bakhadyr Khoussainov
DLT
2008
14 years 11 months ago
The Average State Complexity of the Star of a Finite Set of Words Is Linear
We prove that, for the uniform distribution over all sets X of m (that is a fixed integer) non-empty words whose sum of lengths is n, DX , one of the usual deterministic automata r...
Frédérique Bassino, Laura Giambruno,...