ToDA

📁 Source: Cslib/Computability/Automata/NA/ToDA.lean

Statistics

Metric	Count
Definitions toDAFinAcc, toDA	2
Theorems toDAFinAcc_language_eq	1
Total	3

Cslib.Automata.NA

Definitions

Name	Category	Theorems
toDA 📖	CompOp	—

Cslib.Automata.NA.FinAcc

Definitions

Name	Category	Theorems
toDAFinAcc 📖	CompOp	1 math math: toDAFinAcc_language_eq

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
toDAFinAcc_language_eq 📖	mathematical	—	Cslib.Automata.Acceptor.language Cslib.Automata.DA.FinAcc Cslib.Automata.DA.FinAcc.instAcceptor toDAFinAcc Cslib.Automata.NA.FinAcc instAcceptor	—	—

---

← Back to Index