言語と処理系

道 6

正規表現、構文、型、コンパイラ。書いたコードが動くまでを、小さな言語を自分で作って確かめます。

前提
道 2
回
4 回 (今すぐ学べる 4 回)
最後に
回ごとの確認クイズと説明課題で確かめる
石 1 つが 1 回です。レッスンの頁で確認クイズに全部正しく答えると、その回の石が緑に変わり、次に読む回に色が付きます (この端末のブラウザに残ります)。

この道の回

  1. 6-1正規表現とオートマトン後戻りが増える式修了の条件遅くなる正規表現を 1 つ書いて、理由を説明できるレッスンの頁を読む学べる
  2. 6-2字句解析と構文解析電卓の式を木にする修了の条件1 + 2 * 3 を木に直して計算できるレッスンの頁を読む学べる
  3. 6-3小さなインタプリタ変数と if を持つ言語修了の条件自分の言語で 1 から 10 の合計を出せるレッスンの頁を読む学べる
  4. 6-4型と型検査型が間違いを先に止める修了の条件型検査が実行の前に止める間違いを 3 つ挙げられるレッスンの頁を読む学べる

この道につながる実例

1 本の正規表現が配信網の CPU を使い切った

2019年7月2日

配信網の守りの規則に入った正規表現が後戻りを大量に起こし、HTTP を受ける CPU を使い切って、配信網の全体で 502 の誤りが出ました。形式言語の知識が、本番の障害につながった例です。

Cloudflare Blog (英語)

この道で学ぶ分野

次の一歩