Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Partially ordered nondeterminsitic finite automata (poNFAs) are NFAs whose transition relation induces a partial order on states, that is, for which cycles occur only in the form of self-loops on a single state. A poNFA is universal if it accepts all words over its input alphabet. Deciding universality is PSPACE-complete for poNFAs, and  show that this remains true even when restricting to a fixed alphabet. This is nontrivial since standard encodings of alphabet symbols in, e.g., binary can turn self-loops into longer cycles. A lor coNP-complete complexity bound can be obtained if  require that all self-loops in the poNFA are deterministic, in the sense that the symbol read in the loop cannot occur in any other transition from that state.  find that such restricted poNFAs (rpoNFAs) characterise the class of $\mathcal{R}$-trivial languages, and  establish the complexity of deciding if the language of an NFA is $\mathcal{R}$-trivial. Nevertheless, the limitation to fixed alphabets turns out to be essential even in the restricted case: deciding universality of rpoNFAs with unbounded alphabets is PSPACE-complete. Based on a close relation beten universality and the problems of inclusion and equivalence,  also obtain the complexity results for these two problems. Finaly,  show that the languages of rpoNFAs are definable by deterministic (one-unambiguous) regular expressions, which makes them interesting in schema languages for XML data.
['Markus Krötzsch', 'Tomáš Masopust', 'Michaël Thomazo']
I am writing a research paper on a idea Complexity of Universality and Related Problems for Partially Ordered NFAs
[{"from": "human", "value": "I am writing a research paper on a idea Complexity of Universality and Related Problems for Partially Ordered NFAs"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Partially ordered nondeterminsitic finite automata (poNFAs) are NFAs whose transition relation induces a partial order on states, that is, for which cycles occur only in the form of self-loops on a single state. A poNFA is universal if it accepts all words over its input alphabet. Deciding universality is PSPACE-complete for poNFAs, and  show that this remains true even when restricting to a fixed alphabet. This is nontrivial since standard encodings of alphabet symbols in, e.g., binary can turn self-loops into longer cycles. A lor coNP-complete complexity bound can be obtained if  require that all self-loops in the poNFA are deterministic, in the sense that the symbol read in the loop cannot occur in any other transition from that state.  find that such restricted poNFAs (rpoNFAs) characterise the class of $\\mathcal{R}$-trivial languages, and  establish the complexity of deciding if the language of an NFA is $\\mathcal{R}$-trivial. Nevertheless, the limitation to fixed alphabets turns out to be essential even in the restricted case: deciding universality of rpoNFAs with unbounded alphabets is PSPACE-complete. Based on a close relation beten universality and the problems of inclusion and equivalence,  also obtain the complexity results for these two problems. Finaly,  show that the languages of rpoNFAs are definable by deterministic (one-unambiguous) regular expressions, which makes them interesting in schema languages for XML data."}]