Bad news on decision problems for patterns

We study the inclusion problem for pattern languages, which - due to Jiang et al. (Journal of Computer and System Sciences 50, 1995) - is known to be undecidable. More precisely, Jiang et al. demonstrate that there is no effective procedure deciding the inclusion for the class of all pattern languag...

Full description

Saved in:
Bibliographic Details
Main Authors: Dominik Freydenberger, Daniel Reidenbach
Format: Default Article
Published: 2010
Subjects:
Other information and computing sciences not elsewhere classified
untagged
Information and Computing Sciences not elsewhere classified
Online Access:https://hdl.handle.net/2134/5593
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://hdl.handle.net/2134/5593

Similar Items