Outfix-free regular languages and prime outfix-free decomposition

  • Authors:
  • Yo-Sub Han;Derick Wood

  • Affiliations:
  • Department of Computer Science, The Hong Kong University of Science and Technology;Department of Computer Science, The Hong Kong University of Science and Technology

  • Venue:
  • ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

A string x is an outfix of a string y if there is a string w such that x1wx2=y, where x = x1x2 and a set X of strings is outfix-free if no string in X is an outfix of any other string in X. We examine the outfix-free regular languages. Based on the properties of outfix strings, we develop a polynomial-time algorithm that determines the outfix-freeness of regular languages. We consider two cases: A language is given as a set of strings and a language is given by an acyclic deterministic finite-state automaton. Furthermore, we investigate the prime outfix-free decomposition of outfix-free regular languages and design a linear-time prime outfix-free decomposition algorithm for outfix-free regular languages. We demonstrate the uniqueness of prime outfix-free decomposition.