def Useful_States(StateList,Accepted): Useful_List = [] Useful_List = Useful_List + Accepted for state in StateList: next_state = reach_Automata(StateList,state) for Acptstate in Accepted: if Acptstate in next_state: Useful_List.append(state.StateName) return Useful_List
def check_Empty(StateList,Accepted,Initial): if(Accepted == []): return "Language accepts empty language" else: flag = 0 for state in Initial: if(StateList[state].Final==1): return "Language accepts epsilon" exit(0) for state in StateList: if state.Initial == 1: next_States = reach_Automata(StateList,state) flag = check(next_States,Accepted) if(flag==1): return "Automata accepts some language" return "Automata has empty language"