Similar to クローン–ローズの定理
有限オートマトン
Finite-state machineグルシコフ法
Glushkov's construction algorithm決定性有限オートマトン
Deterministic finite automaton正規言語
Regular language正規言語の反復補題
Pumping lemma for regular languages接尾辞オートマトン
Suffix automatonトライ (データ構造)
Trie非決定性有限オートマトン
Nondeterministic finite automaton部分集合構成法
Powerset constructionマイヒル–ネローデの定理
Myhill–Nerode theoremムーア・マシン
Moore machineTemplate:圏論
Template:Category theory圏論
Category theoryCatamorphism
CatamorphismF余代数
F-coalgebraF代数
F-algebraアブストラクト・ナンセンス
Abstract nonsense位相の特徴付け
Axiomatic foundations of topological spaces宇宙 (数学)
Universe (mathematics)埋め込み (数学)
Embeddingオペラド
Operad可換図式
Commutative diagramKan拡張
Kan extension関手
Functor完全系列
Exact sequence共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)極限 (圏論)
Limit (category theory)グロタンディーク位相
Grothendieck topology