An Approach to Computing Downward Closures

@inproceedings{Zetzsche2015AnAT,
  title={An Approach to Computing Downward Closures},
  author={Georg Zetzsche},
  booktitle={ICALP},
  year={2015}
}
The downward closure of a word language is the set of all (not necessarily contiguous) subwords of its members. It is well-known that the downward closure of any language is regular. While the downward closure appears to be a powerful abstraction, algorithms for computing downward closures have been established only for few language classes. This work presents a simple general method for computing downward closures. For language classes that are closed under rational transductions, it is shown… CONTINUE READING
Related Discussions
This paper has been referenced on Twitter 1 time. VIEW TWEETS

Similar Papers

Loading similar papers…