クリーム色の背景、色付き表示、高コントラスト、大きな文字のほうが読みやすいですか？配色と文字を選ぶと、すべてのページに一度で反映されます。

無料モジュール

計算理論

計算理論を手を動かして学びます。有限オートマトン、正規表現、文法、チューリングマシン、停止問題と計算量を、短いPythonとgrepで試して理解できます。

5件のレッスン270分のレッスン情報科学の中核

レッスン一覧

どのレッスンも全文を無料で読めます。無料アカウントを作ると、コマンドをラボで実行し、クイズと課題に取り組めます。

  1. 1 · 仮想マシンラボ

    有限オートマトンとは

    遷移表をたどって、有限オートマトンがある文字列を受理するかどうか言える。

    レッスンを読む

  2. 2 · 仮想マシンラボ

    正規表現の書き方

    正規表現を書いて、grep -E で合う文字列を取り出せる。

    レッスンを読む

  3. 3 · 仮想マシンラボ

    文法と導出（文脈自由文法）

    文法の規則を使って、ある文字列が正しい形かどうか決められる。

    レッスンを読む

  4. 4 · 仮想マシンラボ

    チューリングマシンとは

    チューリングマシンの規則表をたどって、テープがどう変わるか言える。

    レッスンを読む

  5. 5 · 仮想マシンラボ

    計算の限界と停止問題

    停止問題が解けない理由と、全探索が遅すぎる理由を、説明できる。

    レッスンを読む

本物のラボで実習

このモジュールのレッスンは、あなた専用に起動するラボで実習します。使うラボ：

授業で使いますか？このモジュールを学生に割り当てると、教員用ガイド、自動採点つきの課題、学生ごとのラボを使えます。