専門書 ：「CD-ROM」の検索結果

簡潔かつ包括的な計算理論の入門書。形式言語とオートマトン理論を学び、部分的帰納関数とチューリング機械を通して、アルゴリズムの直感的観念の定式化を行う。日英各々のスライドをCD-ROMに収録。