Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
the definition of F as a set of sets sounds incorrect #48
In the formal semantics we have something like this
where each S_i is a subset of transitions.
I think declaring F as a set is a mistake, because it implicitly implies that all S_i will be different, which is not the case in the format.
I suggest to rewrite this as
Do you agree?