public void dump() {
        if( this.isEmpty() ) {
            System.out.println("NFA is empty");
            return;
        }
        for( String str : theTable.keySet() ) {
            System.out.println("Transitions with \"" + str + "\".");
            for( State state : theTable.get( str ).keySet() ) {
                if( state.equals( startState ) )
                    System.out.print( "From state : &" + state.getName() + "& to " + theTable.get( str ).get( state ).getName() );
                else
                    System.out.print( "From state : " + state.getName() + " to " + theTable.get( str ).get( state ).getName() );

                System.out.println();
            }
        }
    }