Regular algebra applied to language problems

DOI10.1016/J.JLAP.2005.04.008zbMath1086.68069OpenAlexW2078433343WikidataQ114851565 ScholiaQ114851565MaRDI QIDQ817577

Roland C. Backhouse

Publication date: 16 March 2006

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2005.04.008

zbMATH Keywords

fixed pointGalois connectionprogramming methodologylanguage inclusionfactor matrixfactor theorypath-findingproblem generalisation

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (6)

Factor theory and the unity of opposites ⋮ Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ Solving Linear Equations in *-continuous Action Lattices ⋮ On difunctions ⋮ The Capacity-C Torch Problem ⋮ An algebraic framework for multi-objective and robust variants of path problems

Uses Software

• Algorithm 97

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on two problems in connexion with graphs
• Fixed point theorems and semantics: A folk tale
• A generalization of Dijkstra's algorithm
• A completeness theorem for Kleene algebras and the algebra of regular events
• Some Galois connections in elementary number theory
• A calculational approach to reactive systems
• Safety of abstract interpretations for free, via logical relations and Galois connections
• The Mathematics of Sentence Structure
• Incremental execution of transformation specifications
• A Unified Approach to Path Problems
• Regular Algebra Applied to Path-finding Problems
• A Shortest Path Algorithm for Edge-Sparse Graphs
• Fast Pattern Matching in Strings
• Systematic design of program transformation frameworks by abstract interpretation
• Pair algebra and its application to automata theory
• A Minimum Distance Error-Correcting Parser for Context-Free Languages
• A Theorem on Boolean Matrices
• Non-Commutative Residuated Lattices
• Beiträge zur Filtertheorie. II
• Galois Connexions

This page was built for publication: Regular algebra applied to language problems