Weighted automata and weighted logics

Lecture Notes in Computer Science

Volumn 3580, Issue , 2005, Pages 513-525

  Droste, Manfred ^a   Gastin, Paul ^b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; IMAGE COMPRESSION; THEOREM PROVING;

AUTOMATON; FORMAL POWER SERIES; PROBABILISTIC SYSTEMS; SPEECH-TO-TEXT PROCESSING;

AUTOMATA THEORY;

EID: 26444503053     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11523468_42     Document Type: Conference Paper

References (24)

1. A. Arnold. Finite Transition Systems. International Series in Computer Science. Prentice Hall, 1994.
2. J. Berstel and Ch. Reutenauer. Rational Series and Their Languages, volume 12 of EATCS Monographs in Theoretical Computer Science. Springer Verlag, 1988.
3. J.R. Büchi. Weak second-order arithmetic and finite automata. Z. Math. Logik Grundlagen Math., 6:66-92, 1960.
4. A.L. Buchsbaum, R. Giancarlo, and J.R. Westbrook. On the determinization of weighted finite automata. SIAM Journal on Computing, 30(5):1502-1531, 2000.
5. K. Culik and J. Kari. Image compression using weighted finite automata. Computer and Graphics, 17:305-313, 1993.
6. M. Droste and P. Gastin. On aperiodic and star-free formal power series in partially commuting variables. In Proceedings of FPSAC'00, pages 158-169. Springer, 2000. Full version available as a Research Report, LSV, ENS de Cachan, France, 2005.
7. M. Droste and P. Gastin. Weighted automata and weighted logics. Research Report LSV-05-02, ENS de Cachan, France, 2005. 23 pages.
8. S. Eilenberg. Automata, Languages and Machines, volume A. Academic Press, New York, 1974.
9. C.C. Elgot. Decision problems of finite automata design and related arithmetics. Trans. Amer. Math. Soc., 98:21-52, 1961.
10. S. Golan. Semirings and their Applications. Kluwer Academic Publisher, 1999.
11. U. Hafner. Low Bit-Rate Image and Video Coding with Weighted Finite Automata. PhD thesis, Universität Würzburg, Germany, 1999.
12. Z. Jiang, B. Litow, and O. de Vel. Similarity enrichment in image compression through weighted finite automata. In COCOON'00, number 1858 in Lecture Notes in Computer Science, pages 447-456. Springer Verlag, 2000.
13. F. Katritzke. Refinements of data compression using weighted finite automata. PhD thesis, Universität Siegen, Germany, 2001.
14. D. Krob. The equality problem for rational series with multiplicities in the tropical semiring is undecidable. International Journal of Algebra and Computation, 4(3):405-425, 1994.
15. W. Kuich and A. Salomaa. Semirings, Automata, Languages, volume 6 of EATCS Monographs in Theoretical Computer Science. Springer Verlag, 1986.
16. R.P. Kurshan. Computer-Aided Verification of Coordinating Processes. Princeton Series in Computer Science. Princeton University Press, 1994.
17. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
18. R. McNaughton and S. Papert. Counter-free automata. MIT Press, Cambridge, 1971.
19. M. Mohri. Finite-state transducers in language and speech processing. Computational Linguistics, 23:269-311, 1997.
20. M. Mohri, F. Pereira, and M. Riley. The design principles of a weighted finite-state transducer library. Theoretical Computer Science, 231:17-32, 2000.
21. A. Salomaa and M. Soittola. Automata-Theoretic Aspects of Formal Power Series. Texts and Monographs in Computer Science. Springer Verlag, 1978.
22. M.P. Schützenberger. On the definition of a family of automata. Information and Control, 4:245-270, 1961.
23. M.P. Schützenberger. On finite monoids having only trivial subgroups. Information and Control, 8:190-194, 1965.
24. W. Thomas. Languages, automata and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, Vol. 3, pages 389-485. Springer Verlag, 1997.