VOLUME 8 | 2003 | NUMBER 2 |
Special Issue with Papers on Topics of the Workshop on Weighted Automata: Theory and Applications (WATA 2002)
Manfred Droste, Heiko Vogler: | |
Editorial | 115–115 |
Cyril Allauzen, Mehryar Mohri: | |
Efficient Algorithms for Testing the Twins Property | 117–144 |
Stephen L. Bloom, Zoltán Ésik: | |
An Extension Theorem with an Application to Formal Tree Series | 145–185 |
Peter Buchholz, Peter Kemper: | |
Weak Bisimulation for (max/+) Automata and Related Models | 187–218 |
Zoltán Ésik, Werner Kuich: | |
Formal Tree Series | 219–285 |
Bakhadyr Khoussainov, Sasha Rubin: | |
Automatic Structures: Overview and Future Directions | 287–301 |
Carlos Martín-Vide, Victor Mitrana, Ralf Stiebe: | |
Weighted Grammars and Automata with Threshold Interpretation | 303–318 |
Jan J. M. M. Rutten: | |
Coinductive Counting with Weighted Automata | 319–352 |
Ludwig Staiger: | |
Weighted Finite Automata and Metrics in Cantor Space | 353–360 |
Eugene W. Stark: | |
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation | 361–395 |