Rational elements of summation semirings

DOI10.1016/J.TCS.2021.03.032zbMATH Open1484.68108OpenAlexW3152027616MaRDI QIDQ2663048FDOQ2663048

Peter Kostolányi

Publication date: 15 April 2021

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2021.03.032

zbMATH Keywords

rational expressionfinite automatonMSO-logicsummation semiring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Algebraic theory of languages and automata (68Q70) Semirings (16Y60) Categories of machines, automata (18B20)

Cites Work

• Elements of finite model theory.
• Handbook of weighted automata
• Weak Second‐Order Arithmetic and Finite Automata
• Decision Problems of Finite Automata Design and Related Arithmetics
• Semirings and Formal Power Series
• Finite Automata
• Two Families of Languages Related to ALGOL
• A Unifying Kleene Theorem for Weighted Finite Automata
• Automata theory and its applications
• Weighted automata and weighted logics
• Weighted Automata and Weighted Logics
• A unifying approach to algebraic systems over semirings
• Rational and Recognisable Power Series
• Algebraic Systems and Pushdown Automata
• RECOGNIZABLE AND LOGICALLY DEFINABLE LANGUAGES OF INFINITE COMPUTATIONS IN CONCURRENT AUTOMATA
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• ALGOL 60

This page was built for publication: Rational elements of summation semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2663048)