Input in breakpoint construction omega automata

Question

I need help in finding what would be the inputs to be considered while determinizing below non deterministic co-buchi automata (FG).

For the above automata what would be the set of inputs, could you please explain on how to calculate the inputs for determinizing ?

Answer 1

Since you have two input variables a and b, you have four inputs that you may call a0b0, a0b1, a1b0 and a1b1. Then, your automaton looks as follows: 

Comments

Thanks a lot. I got this.