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 machine
Template:圏論
Template:Category theory圏論
Category theory
Catamorphism
Catamorphism
F余代数
F-coalgebra
F代数
F-algebraアブストラクト・ナンセンス
Abstract nonsense
位相の特徴付け
Axiomatic foundations of topological spaces
宇宙 (数学)
Universe (mathematics)
埋め込み (数学)
Embedding
オペラド
Operad
可換図式
Commutative diagram
Kan拡張
Kan extension
関手
Functor
完全系列
Exact sequence
共変性と反変性 (計算機科学)
Covariance and contravariance (computer science)
極限 (圏論)
Limit (category theory)
グロタンディーク位相
Grothendieck topology
