Factor theory and the unity of opposites

DOI10.1016/j.jlamp.2016.01.003zbMath1355.68180OpenAlexW2290738783MaRDI QIDQ2374299

Roland C. Backhouse

Publication date: 15 December 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.01.003

zbMATH Keywords

Galois connectionregular languagepattern matchingfactor graphregular algebrafactor matrix

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Algorithms on strings (68W32)

Related Items

Components and acyclicity of graphs. An exercise in combining precision with concision, Nondeterministic syntactic complexity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Regular algebra applied to language problems
• A completeness theorem for Kleene algebras and the algebra of regular events
• Efficient string matching
• Fast Pattern Matching in Strings
• Two Complete Axiom Systems for the Algebra of Regular Events
• Roots of Star Events
• Derivatives of Regular Expressions
• Beiträge zur Filtertheorie. II