Math Animation Lab
追加ページ
今後の追加ページや、調整中のページはこちらにまとめます。
決定性オートマトンと非決定性オートマトンの等価性と変換
デバッグ中
NFAの状態集合をDFAの状態にする部分集合構成を表示します。
Automata
文脈自由文法とその生成言語
デバッグ中
複数の文法サンプルで、生成規則を適用する位置と句形式の変化を表示します。
Automata
プッシュダウンオートマトンとその受理言語
デバッグ中
スタックを使って入力語を受理する様子を、操作履歴として表示します。
Automata
チューリング機械の例
デバッグ中
テープ、ヘッド、状態遷移を使う小さなチューリング機械を実行します。
Vector
ベクトルの外積
デバッグ中
2次元では符号付き面積、3次元では外積ベクトルとして、成分ごとの計算と図解を表示します。
3D Rotation
クオータニオンとベクトル
デバッグ中
回転軸と角度からクオータニオンを作り、q p q^-1 で回転後のベクトルを表示します。