Basic

📁 Source: Cslib/Computability/Automata/EpsilonNA/Basic.lean

Statistics

Metric	Count
Definitions instHasTauOption, εNA, FinAcc, accept, instAcceptor, toεNA, toNA, εClosure	8
Theorems	0
Total	8

Cslib.Automata

Definitions

Name	Category	Theorems
instHasTauOption 📖	CompOp	1 math math: Cslib.LTS.noε_saturate_mTr
εNA 📖	CompData	—

Cslib.Automata.εNA

Definitions

Name	Category	Theorems
FinAcc 📖	CompData	1 math math: FinAcc.toNAFinAcc_language_eq
toNA 📖	CompOp	—
εClosure 📖	CompOp	—

Cslib.Automata.εNA.FinAcc

Definitions

Name	Category	Theorems
accept 📖	CompOp	—
instAcceptor 📖	CompOp	1 math math: toNAFinAcc_language_eq
toεNA 📖	CompOp	—

---

← Back to Index