Weighted automata and weighted logics on infinite words

We introduce weighted automata over infinite words with Muller acceptance condition and we show that their behaviors coincide with the semantics of weighted restricted MSO-sentences. Furthermore, we establish an equivalence property of weighted Muller and weighted Buchi automata over certain semirings.

[1]  Karel Culik,et al.  Finite Automata Computing Real Functions , 1994, SIAM J. Comput..

[2]  Arto Salomaa,et al.  Automata-Theoretic Aspects of Formal Power Series , 1978, Texts and Monographs in Computer Science.

[3]  Ingmar Meinecke.  Weighted Logics for Traces , 2006, CSR.

[4]  Manfred Droste,et al.  Skew and infinitary formal power series , 2003, Theor. Comput. Sci..

[5]  Zoltán Ésik,et al.  A Semiring-Semimodule Generalization of ω-Regular Languages II , 2005, J. Autom. Lang. Comb..

[6]  Robert P. Kurshan,et al.  Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .

[7]  Ina Mäurer.  Weighted picture automata and weighted logics , 2006 .

[8]  R. McNaughton.  Review: J. Richard Buchi, Weak Second-Order Arithmetic and Finite Automata; J. Richard Buchi, On a Decision Method in Restricted second Order Arithmetic , 1963, Journal of Symbolic Logic.

[9]  Zoltán Ésik,et al.  Some varieties of iteration theories , 1984, Bull. EATCS.

[10]  Manfred Droste,et al.  Skew and Infinitary Formal Power Series , 2003, ICALP.

[11]  Kamala Krithivasan,et al.  Fuzzy ω-automata , 2001 .

[12]  J. Büchi.  Weak Second‐Order Arithmetic and Finite Automata , 1960 .

[13]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[14]  Zoltán Ésik,et al.  A Semiring-Semimodule Generalization of ω-Regular Languages I , 2005, J. Autom. Lang. Comb..

[15]  Jarkko Kari,et al.  Image compression using weighted finite automata , 1993, Comput. Graph..

[16]  J. R. Büchi.  On a Decision Method in Restricted Second Order Arithmetic , 1990 .

[17]  Mehryar Mohri,et al.  The Design Principles of a Weighted Finite-State Transducer Library , 2000, Theor. Comput. Sci..

[18]  W. Kuich,et al.  On Iteration Semiring-Semimodule Pairs , 2007 .

[19]  Werner Kuich,et al.  Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata , 1997, Handbook of Formal Languages.

[20]  Marcel Paul Schützenberger,et al.  On the Definition of a Family of Automata , 1961, Inf. Control..

[21]  André Arnold,et al.  Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.

[22]  Jean Berstel,et al.  Rational series and their languages , 1988, EATCS monographs on theoretical computer science.

[23]  Mehryar Mohri,et al.  Finite-State Transducers in Language and Speech Processing , 1997, CL.

[24]  Paul Gastin,et al.  On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables , 2007, Theory of Computing Systems.

[25]  W. Kuich.  On skew formal power series , 2005 .

[26]  Manfred Droste,et al.  On Weighted BÜchi Automata with Order-Complete Weights , 2007, Int. J. Algebra Comput..

[27]  Ullrich Hafner,et al.  Image and video coding with weighted finite automata , 1997, Proceedings of International Conference on Image Processing.

[28]  Manfred Droste,et al.  Weighted tree automata and weighted logics , 2006, Theor. Comput. Sci..

[29]  Ludwig Staiger,et al.  Ω-languages , 1997 .

[30]  Kevin Knight,et al.  Machine Transliteration , 1997, CL.

[31]  George Rahonis,et al.  Infinite fuzzy computations , 2005, Fuzzy Sets Syst..

[32]  George Rahonis,et al.  Fuzzy regular languages over finite and infinite words , 2006, Fuzzy Sets Syst..

[33]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[34]  Arto Salomaa,et al.  Semirings, Automata, Languages , 1985, EATCS Monographs on Theoretical Computer Science.

[35]  H. Priestley,et al.  Distributive Lattices , 2004 .

[36]  Jarkko Kari,et al.  Image Compression Using Weighted Finite Automata , 1993, MFCS.

[37]  Arto Salomaa,et al.  Semirings, Automata and Languages , 1985 .

[38]  Zoltán Ésik,et al.  Iteration Theories , 1993, EATCS Monographs on Theoretical Computer Science.

[39]  Frank Katritzke.  Refinements of data compression using weighted finite automata , 2001 .

[40]  C. C. Elgot.  Decision problems of finite automata design and related arithmetics , 1961 .

[41]  W. Kuich,et al.  The degree of distinguishability of stochastic sequential machines and related problems. , 2005 .

[42]  André Arnold,et al.  Finite transition systems , 1994 .

[43]  Wolfgang Thomas,et al.  Automata on Infinite Objects , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[44]  Wolfgang Thomas,et al.  Languages, Automata, and Logic , 1997, Handbook of Formal Languages.

[45]  Zhuhan Jiang,et al.  Similarity Enrichment in Image Compression through Weighted Finite Automata , 2000, COCOON.