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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Default Article |
| Published: |
2010
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2134/5593 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|