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

DOI10.1016/S0166-218X(03)00335-4zbMath1046.68069MaRDI QIDQ1414244

Michel Rigo

Publication date: 20 November 2003

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

Presburger arithmeticContext-free languagesParikh mappingSets of integers

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Unnamed Item

Uses Software

• ALGOL 60

Cites Work

• Unnamed Item
• Cônes rationnels commutatifs
• Every semilinear set is a finite union of disjoint linear sets
• Bounded Algol-Like Languages

This page was built for publication: The commutative closure of a binary slip-language is context-free: A new proof.