regularなprocess term

PAのなかのPAPのやっかいなところは、ループ構造を直接的には表せないところだ。
regularなものが必要になる。ここでPAの勉強がとまっていたが、

　　Regular Expressions in Process Algebra
http://alexandria.tue.nl/extra1/wskrap/publichtml/200511.pd

当面、HW的な全体ループ（つまりシーケンサの構造）があるようなものは、
普通のPAPの問題に分解できそうな気がしてきた。そうなるとだいぶ楽になる。

本当かな？？？