Closed strejcek closed 8 years ago
The sentence explaining negated properties is fixed as suggested in the comments of cb2fdae. Moreover, the meaning of !deterministic is added as well as some notes on !trans-labels vs !state-labels, and !trans-acc vs !state-acc.
!deterministic
!trans-labels
!state-labels
!trans-acc
!state-acc
The sentence explaining negated properties is fixed as suggested in the comments of cb2fdae. Moreover, the meaning of
!deterministicis added as well as some notes on!trans-labelsvs!state-labels, and!trans-accvs!state-acc.