Rational elements of summation semirings

DOI10.1016/j.tcs.2021.03.032zbMath1484.68108MaRDI QIDQ2663048

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

finite automaton; rational expression; MSO-logic; summation semiring

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68Q70: Algebraic theory of languages and automata

16Y60: Semirings

18B20: Categories of machines, automata

Uses Software

• ALGOL 60