Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The decidability of ak bisimilarity on normed BPA is a long standing open problem. It is proved in this paper that branching bisimilarity, a standard refinement of ak bisimilarity, is decidable for normed BPA and that the associated regularity problem is also decidable.
['Yuxi Fu']
I am writing a research paper on a idea Checking equality and regularity for normed BPA with silent moves
[{"from": "human", "value": "I am writing a research paper on a idea Checking equality and regularity for normed BPA with silent moves"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The decidability of ak bisimilarity on normed BPA is a long standing open problem. It is proved in this paper that branching bisimilarity, a standard refinement of ak bisimilarity, is decidable for normed BPA and that the associated regularity problem is also decidable."}]