\myheading{DFA (Deterministic Finite Automaton) synthesis}

\leveldown{}

\input{synth/DFA/1}
\input{synth/DFA/2}

\myheading{Further reading}

\url{https://en.wikipedia.org/wiki/Induction_of_regular_languages}

\myheading{Food for thought}

There is a lot of information about divisibility tests in decimal base:
\url{https://mathworld.wolfram.com/DivisibilityTests.html}.

\levelup{}