public AutomatonType getAutomatonType(){
        if(this.type!= null)
            if(this.type.equals("AFD"))
                return  AutomatonType.AFD;
            else if(this.type.equals("AFN"))
                return AutomatonType.AFN;
            else if(this.type.equals("AFNE"))
                return AutomatonType.AFNE;
            else
                return AutomatonType.UNKNOWN;
        return AutomatonType.UNKNOWN;
    }