Def DFA.accepts

Modification history

2024-07-14 20:04

Mathlib/Computability/DFA.lean

feat: DFA.acceptsFrom, DFA.map, DFA.equiv (#11372) …

Modified DFA.accepts View on Github →

2023-07-26 09:26

Mathlib/Computability/DFA.lean

chore: fix some `Set` defeq abuse, golf (#6114) …

Modified DFA.accepts View on Github →

2023-02-16 08:49

Mathlib/Computability/DFA.lean

feat: port Computability.DFA (#2317)

Added DFA.accepts View on Github →