Acceptor

📁 Source: Cslib/Computability/Automata/Acceptors/Acceptor.lean

Statistics

Metric	Count
Definitions Acceptor, Accepts, language	3
Theorems mem_language	1
Total	4

Cslib.Automata

Definitions

Name	Category	Theorems
Acceptor 📖	CompData	—

Cslib.Automata.Acceptor

Definitions

Name	Category	Theorems
Accepts 📖	MathDef	1 math math: mem_language
language 📖	CompOp	18 math math: Cslib.Automata.NA.FinAcc.totalize_language_eq, Cslib.Language.IsRegular.iff_dfa, Cslib.Automata.DA.FinAcc.congr_language_eq, Cslib.Automata.NA.loop_run_one_iter, Cslib.Automata.NA.concat_run_left_right, Cslib.Automata.NA.FinAcc.finConcat_language_eq, Cslib.Automata.NA.concat_start_right, Cslib.Automata.NA.loop_run_left_left, Cslib.Automata.DA.FinAcc.toNAFinAcc_language_eq, Cslib.Automata.εNA.FinAcc.toNAFinAcc_language_eq, mem_language, Cslib.Automata.NA.FinAcc.toDAFinAcc_language_eq, Cslib.Automata.NA.Buchi.loop_language_eq, Cslib.Language.IsRegular.iff_nfa, Cslib.Automata.NA.loop_run_left_right_left, Cslib.Automata.NA.Buchi.concat_language_eq, Cslib.Automata.DA.buchi_eq_finAcc_omegaLim, Cslib.Automata.NA.concat_run_proj

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
mem_language 📖	mathematical	—	language Accepts	—	—

---

← Back to Index