Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1k questions
1.2k answers
1.6k comments
498 users
I did understand the solution but is my solution also correct?
For your structure, I compute the following, so, yes that is also an example.
E G a = {s0}; E G !a = {s1}; E F E G !a = {s0;s1}; E F E G a = {s0;s1}; E F E G a & E F E G !a = {s0;s1}; E G(E F E G a & E F E G !a) = {s0;s1};