Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Regular Expressions (RE) are an algebraic formalism for expressing  regular languages, widely used in string search and as a specification language in verification.    introduce and investigate Visibly Rational Expressions (VRE), an extension of  RE for the ll-known class of Visibly Pushdown Languages (VPL).  show that VRE capture the class of VPL. Moreover,  identify an equally expressive fragment of VRE  which admits a quadratic time compositional translation into the automata acceptors of VPL.  also prove that, for this fragment, universality, inclusion and language equivalence are EXPTIME-complete.  Finally,  provide an extension of VRE for VPL over infinite words.
['Laura Bozzelli', 'César Sánchez']
I am writing a research paper on a idea Visibly Rational Expressions.
[{"from": "human", "value": "I am writing a research paper on a idea Visibly Rational Expressions."}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Regular Expressions (RE) are an algebraic formalism for expressing  regular languages, widely used in string search and as a specification language in verification.    introduce and investigate Visibly Rational Expressions (VRE), an extension of  RE for the ll-known class of Visibly Pushdown Languages (VPL).  show that VRE capture the class of VPL. Moreover,  identify an equally expressive fragment of VRE  which admits a quadratic time compositional translation into the automata acceptors of VPL.  also prove that, for this fragment, universality, inclusion and language equivalence are EXPTIME-complete.  Finally,  provide an extension of VRE for VPL over infinite words."}]