Reversible regular languages: logical and algebraic characterisations

DOI10.3233/FI-2021-2045MaRDI QIDQ5158652zbMATH OpenFDO

Authors

Publication date 25 October 2021

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

automatafirst-order logicmonadic second-order logicsemigroupsregular languagesreversible languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Semigroups in automata theory, linguistics, etc. (20M35)

Recommendations

• Logics for reversible regular languages and semigroups with involution
• scientific article; zbMATH DE number 4020506
• On locally reversible languages
• Reversible Kleene lattices
• scientific article; zbMATH DE number 7444007

Cites work

• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 1944133 (Why is no real title available?)
• scientific article; zbMATH DE number 2124524 (Why is no real title available?)
• scientific article; zbMATH DE number 7269244 (Why is no real title available?)
• scientific article; zbMATH DE number 3368555 (Why is no real title available?)
• Categories as algebra: An essential ingredient in the theory of monoids
• Characterizations of locally testable events
• Classifying regular events in symbolic logic
• Finite semigroup varieties of the form V*D
• Languages and scanners
• Logics for reversible regular languages and semigroups with involution
• On finite monoids having only trivial subgroups
• Two-variable logic with a between relation

Cited in

(3)

• An algebraic characterisation of first-order logic with neighbour
• Logics for reversible regular languages and semigroups with involution
• scientific article; zbMATH DE number 7444007 (Why is no real title available?)

This page was built for publication: Reversible regular languages: logical and algebraic characterisations

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