Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Observations on the disjointness problem for rational subsets of free partially commutative monoids

Tools
- Tools
+ Tools

Gibbons, Alan (Alan M.) and Rytter, Wojciech (1987) Observations on the disjointness problem for rational subsets of free partially commutative monoids. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)

[img]
Preview
PDF (Department of Computer Science Research Report)
WRAP_cs-rr-100.pdf - Other - Requires a PDF viewer.

Download (706Kb) | Preview

Request Changes to record.

Abstract

Let I be a partially commutative alphabet of size three. Let M denote the free partially commutative monoid generated by I. The disjointness problem for rational subsets of M is:

for two given rational (described by regular expressions) subsets, X, Y of M decide if XnY=0.

In this paper we show that the problem is decidable for every commutativity region over the alphabet I. It is known (see (3)) that the problem is undecidable in the case of the four letters alphabet. Hence we give a sharp bound on the number of letters for which the problem is decidable. A similar situation occurs for the unique decipherability problem with partially commutative alphabets. It was shown in (4) that this problem is decidable for alphabets of size three and that it is undecidable for alphabets of size four. We show that the unique decipherability problem with partially commutative alphabet I is a special case of the disjointness problem of rational subsets of the monoid generated by I. This and our algorithm for the disjointness problem give alternative and much simpler proof of the decidability of the unique decipherability problem with partially commutative alphabets of size three. Let I={a,b,c}. It was proved in (5) using multicounter machines that if a commutes with c and b, and b does not commute with c then the disjointness problem is decidable. We give here a simpler proof for this case and prove the decidability for all other possible commutativity relations for three letters alphabet.

Item Type: Report
Subjects: Q Science > QA Mathematics
Divisions: Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH): Monoids
Series Name: Department of Computer Science research report
Publisher: University of Warwick. Department of Computer Science
Official Date: May 1987
Dates:
DateEvent
May 1987Completion
Number: Number 100
Number of Pages: 8
DOI: CS-RR-100
Institution: University of Warwick
Theses Department: Department of Computer Science
Status: Not Peer Reviewed
Publication Status: Unpublished
Related URLs:
  • Organisation

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics

twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us