No. 16 (2000): RS-16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP