zjfz-2019-s439462/automata/Task213.py
2020-01-25 09:19:30 +01:00

6 lines
206 B
Python

from automata.deterministic_automaton import DeterministicAutomaton
def is_initial_state_a_final_one(automaton: DeterministicAutomaton):
return automaton.is_final_state(automaton.get_initial_state())