Factor theory and the unity of opposites

Roland Backhouse
DOI: https://doi.org/10.1016/j.jlamp.2016.01.003
IF: 1.088
2016-08-01
Journal of Logical and Algebraic Methods in Programming
Abstract:The theory of factors of a regular language is used to illustrate the unity-of-opposites theorem of Galois connections. Left and right factors of a language are characterised as unions of right- and left-invariant equivalence classes, respectively, and this characterisation is exploited in the construction of the factor graph. The factor graph is a representation of the poset of left factors and, isomorphically by the unity of opposites, the poset of right factors. Two illustrative examples are given, one of which is the failure function used in the Knuth–Morris–Pratt pattern-matching algorithm.
computer science, theory & methods,logic
What problem does this paper attempt to address?