Weighted Automata, Formal Power Series and Weighted Logic

Weighted Automata, Formal Power Series and Weighted Logic
Author :
Publisher : Springer Nature
Total Pages : 191
Release :
ISBN-10 : 9783658393236
ISBN-13 : 3658393238
Rating : 4/5 (36 Downloads)

Book Synopsis Weighted Automata, Formal Power Series and Weighted Logic by : Laura Wirth

Download or read book Weighted Automata, Formal Power Series and Weighted Logic written by Laura Wirth and published by Springer Nature. This book was released on 2022-10-13 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power series, linear representations by means of matrices, and weighted monadic second-order logic. First, we exhibit the classical results of Kleene, Büchi, Elgot and Trakhtenbrot, which concentrate on the expressive power of finite automata. We further derive a generalization of the Büchi–Elgot–Trakhtenbrot Theorem addressing formulas, whereas the original statement concerns only sentences. Then we use the language-theoretic methods as starting point for our investigations regarding power series. We establish Schützenberger’s extension of Kleene’s Theorem, referred to as Kleene–Schützenberger Theorem. Moreover, we introduce a weighted version of monadic second-order logic, which is due to Droste and Gastin. By means of this weighted logic, we derive an extension of the Büchi–Elgot–Trakhtenbrot Theorem. Thus, we point out relations among the different specification approaches for formal power series. Further, we relate the notions and results concerning power series to their counterparts in Language Theory. Overall, our investigations shed light on the interplay between languages, formal power series, automata and monadic second-order logic.


Weighted Automata, Formal Power Series and Weighted Logic Related Books

Weighted Automata, Formal Power Series and Weighted Logic
Language: en
Pages: 191
Authors: Laura Wirth
Categories: Mathematics
Type: BOOK - Published: 2022-10-13 - Publisher: Springer Nature

DOWNLOAD EBOOK

The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power se
Automata, Languages and Programming
Language: en
Pages: 1501
Authors: Luis Caires
Categories: Computers
Type: BOOK - Published: 2005-08-25 - Publisher: Springer

DOWNLOAD EBOOK

The 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005) was held in Lisbon, Portugal from July 11 to July 15, 2005. These proceedi
Developments in Language Theory
Language: en
Pages: 467
Authors: Oscar H. Ibarra
Categories: Mathematics
Type: BOOK - Published: 2006-06-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, Jun
Implementation and Application of Automata
Language: en
Pages: 334
Authors: Jan Holub
Categories: Computers
Type: BOOK - Published: 2007-10-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007. Th
Automata, Languages and Programming
Language: en
Pages: 637
Authors: Samson Abramsky
Categories: Computers
Type: BOOK - Published: 2010-06-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICA