Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 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 ?