private int findType(Object auto){
    	int type = 0;      
        if(auto instanceof TuringMachine) type = 1;
        else if(auto instanceof PushdownAutomaton) type = 2;
        else if(auto instanceof FiniteStateAutomaton) type = 3;
        else if(auto instanceof Grammar) type = 4;
        return type;
    }