Implementation of the reduction from a DFA to an NC1 circuit (as per the proof of their equality).
Primary LanguagePython
This repository is not active