countingautomata-analysis