Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time

@inproceedings{Kucera1996RegularityID,
  title={Regularity is Decidable for Normed BPA and Normed BPP Processes in Polynomial Time},
  author={Anton{\'i}n Kucera},
  booktitle={SOFSEM},
  year={1996}
}
We consider the problem of deciding regularity of normed BPP and normed BPA processes. A process is regular if it is bisimilar to a process with finitely many states. We show that regularity of normed BPP and normed BPA processes is decidable in polynomial time and we present constructive regularity tests. Combining these two results we obtain a rich subclass of normed PA processes (called sPA) where the regularity is also decidable. Moreover, constructiveness of this result implies… CONTINUE READING

From This Paper

Topics from this paper.
14 Citations
17 References
Similar Papers

Similar Papers

Loading similar papers…