ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS

DOI10.1142/S0218196707003585zbMath1120.68066MaRDI QIDQ5297785

Ulrike Püschmann, Manfred Droste

Publication date: 13 July 2007

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

zbMATH Keywords

Büchi automataformal power seriesweighted automatacomplete semiring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Ordered rings, algebras, modules (06F25) Ordered rings (13J25)

Related Items (6)

Weighted automata and weighted logics on infinite words ⋮ WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS ⋮ Schützenberger's theorem on formal power series follows from Kleene's theorem ⋮ Regular Expressions on Average and in the Long Run ⋮ A Weighted μ-Calculus on Words ⋮ Valuations of Weighted Automata: Doing It in a Rational Way

Cites Work

• Unnamed Item
• Unnamed Item
• Skew and infinitary formal power series
• The design principles of a weighted finite-state transducer library
• Infinite fuzzy computations
• Weak Second‐Order Arithmetic and Finite Automata
• On the definition of a family of automata
• Quantales, observational logic and process semantics

This page was built for publication: ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS