計算理論と形式言語

有限オートマトン、正規表現、文脈自由文法、チューリングマシン、計算可能性、P対NPなど、「計算とは何か」を扱うコンピュータサイエンスの理論的な土台を学びます。