testAutomata.c 7.46 KB