Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

870 questions

988 answers


439 users

0 votes

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 ?

in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

+1 vote
Best answer

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: 

by (139k points)
selected by
Thanks a lot. I got this.
Imprint | Privacy Policy