Algebraic Myhill-Nerode theorems

DOI10.1016/J.TCS.2010.10.016MaRDI QIDQ620959zbMATH OpenOpenAlexFDO

Authors Warren D. Nichols, Robert G. Underwood

Publication date 2 February 2011

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

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

zbMATH Keywords

bialgebracoalgebrafinite automatonMyhill-Nerode Theoremsemigroup

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Recommendations

• scientific article; zbMATH DE number 1995181
• scientific article; zbMATH DE number 4204456
• An algebraic version of Haag's theorem
• Notes on the algebraic version of the Hille-Yosida-Feller-Phillips-Miyadera theorem
• Algebraic Spivak's theorem and applications
• scientific article; zbMATH DE number 663925
• scientific article; zbMATH DE number 51201
• scientific article; zbMATH DE number 1314682
• scientific article; zbMATH DE number 3523695
• Algebraic number theory

Cites work

• An algebraic approach to hybrid systems
• scientific article; zbMATH DE number 58315 (Why is no real title available?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3309240 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• Implementation and Application of Automata
• Myhill-Nerode type theory for fuzzy languages and automata

Cited in

(12)

• Néron's pairing and relative algebraic equivalence
• A formalisation of the Myhill-Nerode theorem based on regular expressions
• Notes on the algebraic version of the Hille-Yosida-Feller-Phillips-Miyadera theorem
• scientific article; zbMATH DE number 4064522 (Why is no real title available?)
• Quasitriangular structure of Myhill-Nerode bialgebras
• scientific article; zbMATH DE number 1995181 (Why is no real title available?)
• scientific article; zbMATH DE number 2070386 (Why is no real title available?)
• scientific article; zbMATH DE number 749931 (Why is no real title available?)
• A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages
• A Myhill-Nerode theorem for higher-dimensional automata
• A generalization of Myhill-Nerode theorem for fuzzy languages
• Myhill-Nerode type theory for fuzzy languages and automata

This page was built for publication: Algebraic Myhill-Nerode theorems

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