Hola! Esta semana estamos diseñando un DFA. Tenemos que leer los estados desde un archivo y la cadena de entrada desde otro. Ya llevo varias semanas usando archivos de entrada/salida y nunca me ha pasado lo que esta vez. Los archivos no están vacíos, sin embargo, nunca los lee porque no entra al bucle, que está definido tal que:
while (fichin.peek() != EOF){
Como siempre, adjunto los códigos (y los archivos de lectura, para que veais que
no están vacíos

Y ya sabeis, toda ayuda es apreciada
Oh, y una copia del comando de entrada, para que no penseis que me he hecho un lío al ejecutar:
./DFA Automata1.DFA Entradas.in Salida.txt