#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";
    DFA dfa = nfaToDFA(nfa);
    cout<<"OK2";
    //printDFA(dfa);
    DFA minimizedDFA = minimizeDFA(minimizeDFA(dfa));
    removeUnreachableStates(minimizedDFA);
    //printDFA(minimizedDFA);

	

	return 0;
}