CountingAutomata-generator