Decision Problems for Nonemptiness of Hyperlanguages: Undecidability and Complexity Results
Abstract
This paper examines different choice issues connected with the nonemptiness of Non-Deterministic Limited Hyperautomata (NFH). I show that while the nonemptiness issue for NFH is for the most part undecidable, it becomes decidable for explicit pieces. I give a decrease from the Post Correspondence Issue (PCP) to demonstrate the undecidability of the nonemptiness issue for NFH, delineating how encoded arrangements of PCP can address legitimate hyperwords. Furthermore, I lay out that the nonemptiness issue for both NFH with existential and widespread evaluation (NFH? and NFH?) is NL-finished. At last, I present a choice methodology for the nonemptiness issue of NFH with blended evaluation (NFH??), demonstrating that it very well may be settled in polynomial space compared with the machine size. Our outcomes add to a more profound comprehension of hyperlanguage choice issues and their computational intricacy
Citations
IRE Journals:
Hyacinthe Hamon
"Decision Problems for Nonemptiness of Hyperlanguages: Undecidability and Complexity Results" Iconic Research And Engineering Journals Volume 8 Issue 8 2025 Page 675-683
IEEE:
Hyacinthe Hamon
"Decision Problems for Nonemptiness of Hyperlanguages: Undecidability and Complexity Results" Iconic Research And Engineering Journals, 8(8)
About IRE Journals
IRE Journals is an open access online journals established with an aim to publish high quality of research work in various diciplines. We have more than 6 years in publications. Over 2500+ papers already published.
Important Links
For Authors
Volume 7:
Issue 1, Issue 2, Issue 3, Issue 4, Issue 5, Issue 6, Issue 7, Issue 8, Issue 9, Issue 10, Issue 11, Issue 12Volume 6:
Issue 1, Issue 2, Issue 3, Issue 4, Issue 5, Issue 6, Issue 7, Issue 8, Issue 9, Issue 10, Issue 11, Issue 12Volume 5:
Issue 1, Issue 2, Issue 3, Issue 4, Issue 5, Issue 6, Issue 7, Issue 8, Issue 9, Issue 10, Issue 11, Issue 12Volume 4:
Issue 1, Issue 2, Issue 3, Issue 4, Issue 5, Issue 6, Issue 7, Issue 8, Issue 9, Issue 10, Issue 11, Issue 12Volume 3:
Issue 1, Issue 2, Issue 3, Issue 4, Issue 5, Issue 6, Issue 7, Issue 8, Issue 9, Issue 10, Issue 11, Issue 12