Pythonのinvalid expression (2)

一体何の為のエラーなのだろうか。
空文字列にもマッチできる部分パターンの無限回繰り返しは、何も対処をしていないと、場合によっては永久に停止しなくなる。そのためのチェックを普通はマッチング処理の中で行うが、パターンの解析時点でエラーにしてしまっているのかと思った。
しかし、以下のパターンはエラーにならないので、そういう理由でもなかった。

/^()*$/
/^((ac)*)*$/
/^(c*a*)*$/

結局、元のパターンがエラーになる理由はわからない。
作っている人の勘違いか、変更漏れか？