regex - フレックスはラインアンカーの先頭とどのように一致しますか？

Question

^入力アンカー（ ）の先頭がフレックスでFSAにどのように変換されるのか常に疑問に思っていました。行末アンカー（$）は、一致する式r/\nである式と一致することを知っていrます。入力アンカーの先頭はどのように一致していますか？私が見る唯一の解決策は、開始条件を使用することです。プログラムにどのように実装できますか？

Answer 1

行末マーカーは、ファイルの末尾に行末マーカーまたはが見つからなくても、一致するという点で と$は異なります。\nEOF\n\r\n

フレックスの実装は見ていませんでしたが、両方を実装し、^ブール$値フラグを使用します。フラグは^最初に設定され、次にfalse行の最初の文字の後に再設定され、true次に次の行末マーカーの後に再設定されます。