The commutative closure of a binary slip-language is context-free: a new proof

  • Authors:

  • Michel Rigo

  • Affiliations:

  • University of Liège, Institute of Mathematics, Grande Traverse 12 (B37), B-4000 Liège, Belgium

  • Venue:
  • Discrete Applied Mathematics
  • Year:
  • 2003

Quantified Score

Hi-index 0.04

Visualization

Abstract

Using original arguments about sets of integers satisfying some first-order formula of the Presburger arithmetic 〈N,+〉, we give a new proof that the commutative closure of a slip-language over a two letters alphabet is context-free.