2016-12-12: 正規表現について考えたりStandard MLについて考えたり
今日は寝る前に日記を書くことに成功したぞ。
やったこと
正規表現について考えていた
NFAとかDFAのグラフベースなマッチングの場合どうやってキャプチャすればいいんだとか、そんなことを考えていた。
先読みと後読みのことを考えるとよく分からなくなる。
DFAの場合、最初もしくは遷移直後にキャプチャを取るようにして、遷移の条件にゼロ幅のアサーションも含めるようにすればいいのだろうか?
先読み後読みとか非貪欲マッチはどうやればいいんだか‥‥。
Standard MLについて
なんかQuineリポジトリの方にPull Requestが来ていたので色々言ってPull Requestを受け付けない旨を伝えたのだけどあんまし上手く伝わらなかった気がする。自分の英語力の無さが問題。
その途中でちょっと気になる部分があったので"The Definition of Standard ML"というStandard MLの仕様を読んだ。頼むから構文定義の外にRestrictionとか書かないでほしい。
やること
正規表現について全力で 考えていく。
Crystalのリポジトリに動きがなくて不安。