search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

Finite State Machines #30

Closed dan323 closed 1 year ago

dan323 commented 1 year ago

A theory on finite state machines. Reaches a proof that non-deterministic finite state automata determine the same languages as deterministic finite state automata. Also results on operations closed for regular languages.