Factor graphs, failure functions and Bi-Trees

  • R. C. Backhouse
  • R. K. Lutz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 52)


The factors and factor matrix of a regular language are defined and their properties stated. It is shown that the factor matrix of a language Q has a unique starth root — called the factor graph of Q. The Knuth, Morris, Pratt pattern-matching algorithm, its extensions and Weiner's substring identifier algorithm are all shown to correspond to finding the factor graph of some regular language.


regular language factor pattern-matching string-matching substring identifiers factor graph factor matrix 


  1. 1.
    Aho, A.V. and Corasick, M.J. "Efficient string matching: An aid to bibliographic search" C.A.C.M. (June 1975) 18, 6, Pp. 333–340.Google Scholar
  2. 2.
    Aho, A.V., Hopcroft, J.E. and Ullman, J.D. "The design and analysis of computer algorithms" Addison-Wesley: Reading, Mass. (1974).Google Scholar
  3. 3.
    Backhouse,R.C. "Closure algorithms and the star-height problem of regular languages" Ph.D. Thesis, Univ. of London, Sept. 1975.Google Scholar
  4. 4.
    Backhouse,R.C. and Lutz,R.K. "Factor graphs, failure functions and bi-trees" Dept. of Comp.Sc., Heriot-Watt U., Tech.Rep.No.4 (October 1976).Google Scholar
  5. 5.
    Conway, J.H. "Regular algebra and finite machines" Chapman and Hall: London (1971).Google Scholar
  6. 6.
    Fischer, M.J. and Paterson, M.S. "String-matching and other products" SIAM-AMS Proc. 7 (1974) Pp. 113–125.Google Scholar
  7. 7.
    Knuth, D.E., Morris, J.H. and Pratt, V.R. "Fast pattern matching in strings" TR CS-74-44, Stanford Univ., Stanford, California 1974.Google Scholar
  8. 8.
    Salmoaa, A. "Theory of automata" Pergammon Press: Oxford (1969).Google Scholar
  9. 9.
    Weiner,P. "Linear pattern matching algorithms" Conf. Record IEEE 14th Annual Symposium on Switching and Automata Theory (1973) Pp. 1–11.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • R. C. Backhouse
    • 1
  • R. K. Lutz
    • 1
  1. 1.Department of Computer ScienceHeriot-Watt UniversityEdinburgh

Personalised recommendations