Algebraic Myhill-Nerode theorems

DOI10.1016/J.TCS.2010.10.016zbMath1206.68179OpenAlexW2071944012MaRDI QIDQ620959

Robert G. Underwood, Warren D. Nichols

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

semigroupcoalgebrafinite automatonbialgebraMyhill-Nerode Theorem

Mathematics Subject Classification ID

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

Related Items (1)

Quasitriangular structure of Myhill-Nerode bialgebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An algebraic approach to hybrid systems
• Myhill-Nerode type theory for fuzzy languages and automata
• Implementation and Application of Automata

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