Sciweavers

26 search results - page 2 / 6
» dlt 2008
Sort
View
DLT
2008
13 years 6 months ago
Algorithmically Independent Sequences
Cristian S. Calude, Marius Zimand
DLT
2008
13 years 6 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
13 years 6 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
13 years 6 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,...