Factor theory and the unity of opposites

DOI10.1016/J.JLAMP.2016.01.003MaRDI QIDQ2374299zbMATH OpenOpenAlexFDO

Authors 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

regular languagefactor graphpattern matchingGalois connectionregular algebrafactor matrix

Mathematics Subject Classification ID

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

Recommendations

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 2162119
• Publication:4207942
• On some factorization problems
• On the computation of quotients and factors of regular languages

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3550201 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3254905 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Beiträge zur Filtertheorie. II
• Derivatives of Regular Expressions
• Efficient string matching
• Fast Pattern Matching in Strings
• Regular algebra applied to language problems
• Roots of Star Events
• Two Complete Axiom Systems for the Algebra of Regular Events

Cited in

(3)

• Nondeterministic syntactic complexity
• Algebraic Methodology and Software Technology
• Components and acyclicity of graphs. An exercise in combining precision with concision

This page was built for publication: Factor theory and the unity of opposites

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