use python nfas to build C dfas