###a 1234 num に対して「[0-9]*」をマッチさせようとしたとき、保存ステートリストにa ▲1234 num 含まれているのか?
答えは"ノー"である。<略>スターの対象となっている要素は、必ずマッチするということを忘れてはならない。
正規表現全体がスターの対象となっているなら、その正規表現はいつでもどこでもマッチする。
いつでもどこでもという言葉には、トランスミッションがエンジンを文字列の先頭の位置にそろえてはじめてマッチを試みるときも含まれる。この場合、正規表現は▲a 1234 numの位置でマッチし、それで終わりである。
数字のところまでチェックの手を伸ばすことさえない。
詳説正規表現157pに記述してあったクイズについて分からない部分があります。分からない部分は、a 1234 numという文字列に対し、正規表現[0-9]*を適用したら、「a ▲1234 num」の▲の位置からバックトラックするのか?、保存ステートは、作られるのか?、という質問で、質問の答えは、作られないです。
てっきり"作られる"と思っていたのですが、その作られない理由が良く理解できません。
*の対象となっている要素は、必ずマッチするということを忘れてはならない、とのことですが、ようは+と同じ理論ということでしょうか。
X+の場合、条件が一文字以上のXを意味し、必ずマッチが必要なので一文字目からは、バックトラックが起きない。これは分かります。
X*は、Xがなくともマッチする。つまりマッチは必須ではない、と思っているのでなぜ、+と同じようにバックトラックが起きないのかが理解できません。