2014-07-21から1日間の記事一覧

2014-07-20

日記 昼頃起きて昼は冷凍食品、夜は街に出てカレーを食べた。形式言語の勉強がだいたい終わった。次は離散数学と計算量理論かなぁ。 雑記 [IS, CYK] <所属判定問題 CYK法> ・Gを文脈自由文法とする。入力としてw∈T^*が与えられたとき、w∈L(G)であるかどう…