#include <iostream>
#include <fstream>
#include <cassert>

#include "nfa.h"
using namespace std;

int main(int argc, char** argv) {

    NFA nfa = RexToNFA();
    printNFA(nfa);
    //cout<<"OK1"<<endl;
    
    DFA dfa = nfaToDFA(nfa);
    printDFA(dfa);
    //cout<<"OK2"<<endl;
    
    system("pause");
    DFA minimizedDFA = minimizeDFA(minimizeDFA(dfa));
    removeUnreachableStates(minimizedDFA);
    printDFA(minimizedDFA);
    //cout<<"OK3"<<endl;

	

	return 0;
}