正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem正規表現やオートマトンが正規言語の表現方法であることは情報系の方々には広く知られていますが，一方で代数や論理でも正規言語が特徴づけられるということはあまり知られていません．本資料では variety という視点から眺めることで，言語・代数・論理の三つの異なる概念が非常に美しい対応を見せることを紹介していきます．Read less
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
