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

WQO is decidable for factorial languages

Tools
- Tools
+ Tools

Atminas, Aistis, Lozin, Vadim V. and Moshkov, M. (2017) WQO is decidable for factorial languages. Information and Computation, 256 . pp. 321-333. doi:10.1016/j.ic.2017.08.001

[img]
Preview
PDF
WRAP-WQO-decidable-factorial-languages-Lozin-2017.pdf - Accepted Version - Requires a PDF viewer.
Available under License Creative Commons Attribution Non-commercial No Derivatives 4.0.

Download (644Kb) | Preview
Official URL: https://doi.org/10.1016/j.ic.2017.08.001

Request Changes to record.

Abstract

A language is factorial if it is closed under taking factors, i.e. contiguous subwords. Every factorial language can be described by an antidictionary, i.e. a minimal set of forbidden factors. We show that the problem of deciding whether a factorial language given by a finite antidictionary is well-quasi-ordered under the factor containment relation can be solved in polynomial time. We also discuss possible ways to extend our solution to permutations and graphs.

Item Type: Journal Article
Subjects: Q Science > QA Mathematics
Divisions: Faculty of Science, Engineering and Medicine > Science > Mathematics
Journal or Publication Title: Information and Computation
Publisher: Academic Press
ISSN: 0890-5401
Official Date: October 2017
Dates:
DateEvent
October 2017Published
8 August 2017Available
20 July 2017Accepted
Volume: 256
Page Range: pp. 321-333
DOI: 10.1016/j.ic.2017.08.001
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access

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