let automata = ref ([],[])