mathlib

384ba88b - feat(computability/*FA): Deterministic and Nondeterministic Finite Automata (#5038)

feat(computability/*FA): Deterministic and Nondeterministic Finite Automata (#5038) Definition and equivalence of NFA's and DFA's Co-authored-by: foxthomson <11833933+foxthomson@users.noreply.github.com>