このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

leadFirst集合

Caty 形式言語理論
  • 言語Lに関して、ξがstrong postfix (suffix) ⇔ α∈L かつ αξ ∈L となるαがある
  • 言語Lに関して、ηがstrong prefix ⇔ α∈L かつ ηα ∈L となるαがある
  • strong postfixの先頭文字はfollowLast集合に入る。
  • strong prefixの末尾文字はleadFirst集合に入る。
  • 終状態pに関する OutL(p)の合併がfollowLast集合
  • 始状態pに関する InL(p)の合併がleadFirst集合

followLast, leadFirstは、逆流、混線、曖昧性などのもとになる集合だ。