Sciweavers

SIAMCOMP
2000
69views more  SIAMCOMP 2000»
13 years 9 months ago
A Finite State Version of the Kraft--McMillan Theorem
The main result is a finite-state version of the Kraft
Frédérique Bassino, Marie-Pierre B&e...
PPDP
2001
Springer
14 years 1 months ago
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
Franklyn A. Turbak, J. B. Wells
ICALP
2004
Springer
14 years 2 months ago
Property Testing of Regular Tree Languages
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
Frédéric Magniez, Michel de Rougemon...
FSTTCS
2004
Springer
14 years 2 months ago
Decidability of MSO Theories of Tree Structures
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
Angelo Montanari, Gabriele Puppis