Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
769 questions
886 answers
1.3k comments
424 users
In this solution, why wasn't q4 included in the state set, G[Fa U b] is represented as q4.
Also if i had added the fairness constraints for q3 and q4 it would still be a correct solution right ?