How to find transition relation for automaton

Question

Hi, how can we find the transition relation of an automaton if the automaton is given?

I have drawn the automaton and I tried to find the relation of the automaton. Could you please help me to solve this issue?

Answer 1

I think that you already wrote the transition relations on the paper next to the automaton, didn' you? Maybe you just have to think of a more efficient encoding of the states.

Comments

I wanted to check whether this transition relations are correct for the given automaton. Currently, i have taken the transition to the final state from initial state. But i am not sure whether it's the proper way or not?

---

In general, there may be transitions from the final states to other states, and in particular, also to initial states. Whether a transition relation is fine, can be checked with the teaching tool; feel free to test your transition relation with https://es.cs.uni-kl.de/tools/teaching/SymbolicStateTrans.html