2008-09-10から1日間の記事一覧
今日の本 計算理論の基礎 CFG*1とPDA*2の等価性 ポンピング補題の証明 なぜb>=2と仮定できるのか不明(P.128) わかった。b=1だと、言語内の任意の文字列は長さが1なので、ポンピング長を2にすれば自明なので。 考察。こちらのパワポの資料のように、ポンピン…
今日の本 計算理論の基礎 CFG*1とPDA*2の等価性 ポンピング補題の証明 なぜb>=2と仮定できるのか不明(P.128) わかった。b=1だと、言語内の任意の文字列は長さが1なので、ポンピング長を2にすれば自明なので。 考察。こちらのパワポの資料のように、ポンピン…