Negation in accepting conditions?

adl / hoaf

Hanoi Omega-Automata Format

14 stars 2 forks source link

Negation in accepting conditions? #18

Closed strejcek closed 10 years ago

strejcek commented 10 years ago

We say that labels are Boolean formulas over AP. And labels can contain negation. At the same time, we say that accepting condition is a Boolean formula over F(S_i),I(S_i),... . But this time, negation is not allowed. We should either allow negation in acceptance condition or call it "positiove Boolean formula" instead.

adl commented 10 years ago

It was already "positive Boolean combination" in the text.