common follow sets automaton

というものについての論文を読んでいるのだけれど、さっぱり理解ができない。
頭悪すぎ・・・

• • • -

http://citeseer.ist.psu.edu/hromkovic97translating.html
http://citeseer.ist.psu.edu/471736.html
の２つをあわせて読んだら、なんか、分かってきた。
相変わらず、計算量の証明のところは追いきれないのだけれど。