Sciweavers

WIA
2007
Springer
14 years 5 months ago
Backward and Forward Bisimulation Minimisation of Tree Automata
We improve an existing bisimulation minimisation algorithm for tree automata by introducing backward and forward bisimulations and developing minimisation algorithms for them. Mini...
Johanna Högberg, Andreas Maletti, Jonathan Ma...
WIA
2007
Springer
14 years 5 months ago
Average Value and Variance of Pattern Statistics in Rational Models
We study the pattern statistics representing the number of occurrences of a given string in a word of length n generated at random by rational stochastic models, defined by means ...
Massimiliano Goldwurm, Roberto Radicioni
WIA
2007
Springer
14 years 5 months ago
Weighted Automata and Weighted Logics with Discounting
We introduce a weighted logic with discounting and we establish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. The...
Manfred Droste, George Rahonis
WIA
2007
Springer
14 years 5 months ago
Reducing Acyclic Cover Transducers
Jean-Marc Champarnaud, Franck Guingne, Jacques Far...
WIA
2007
Springer
14 years 5 months ago
Efficient Computation of Throughput Values of Context-Free Languages
Didier Caucal, Jurek Czyzowicz, Wojciech Fraczak, ...
WIA
2007
Springer
14 years 5 months ago
An Implementation of Deterministic Tree Automata Minimization
Rafael C. Carrasco, Jan Daciuk, Mikel L. Forcada
WIA
2007
Springer
14 years 5 months ago
Analyzing Ambiguity of Context-Free Grammars
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and p...
Claus Brabrand, Robert Giegerich, Anders Mø...
WIA
2007
Springer
14 years 5 months ago
Multi-grain Relations
François Barthélemy