Weighted Automata, Formal Power Series and Weighted Logic

Name: Weighted Automata, Formal Power Series and Weighted Logic
Brand: Springer Nature
SKU: 9783658393236
Availability: InStock

Weighted Automata, Formal Power Series and Weighted Logic

Brand

Springer Nature

Manufacturer

N/A

Part Number

GTIN

9783658393236

Condition

New

0 Reviews

0 Questions | 0 Answers

Product Description

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, Bchi, Elgot and Trakhtenbrot, which concentrate on the expressive power of finite automata. We further derive a generalization of the BchiElgotTrakhtenbrot 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 Schtzenbergers extension of Kleenes Theorem, referred to as KleeneSchtzenberger 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 BchiElgotTrakhtenbrot 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.

Available Colors

N/A

Available Sizes

N/A

1 Offer Price Range: $39.99 - $39.99

BEST PRICE

Single Product Purchase

$39.99

@ Link.springer.com BUY Now

Price Comparison

Seller	Contact Seller	List Price	On Sale	Shipping	Best Promo	Final Price	Volume Discount	Financing	Availability	Seller's Page
BEST PRICE 1 Product Purchase @ Link.springer.com Rate Seller This functionality is for registered users only. Go to Login/Register		$39.99	$39.99			$39.99		See Site	In stock	Visit Store