DFA\.classpath ...\.project ...\.settings\org.eclipse.jdt.core.prefs ...\bin\Dfa.class ...\...\LoadFile.class ...\...\State.class ...\src\Dfa.class ...\...\Dfa.java ...\...\dfa.txt ...\...\LoadFile.class ...\...\State.class ...\.settings ...\bin ...\src DFA