論理とか文法とかあれこれの表現力のメモ[未整理] regular language < linear language < context free

クリプキフレーム Kripke frame そう言えばクリプキフレームの話を書いていなかった事を思い出したり(クリプキフレームの話なんて素敵なpdf (http://www.is.titech.ac.jp/~kashima/manuscript/03Sept.pdf )がネット上に溢れているので、わざわざ書くようなこ…