Fixed code format in automata.py and nodo.py