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

653 questions

767 answers

1.1k comments

378 users

Hello all,

Can someone help me with the procedure to draw the automata from the formula in the screenshot?

Thanks in advance.

You just have to determine the satisfying assignments of the transition relation. Why not using the teaching tool https://es.cs.uni-kl.de/tools/teaching/SymbolicStateTrans.html with the following inputs to double-check your result?

state variables : p;q input variables : a initial states : !p&q transition relation : (p -> a & next(p)) & !b & q & next(q) state set : false