search

adl / hoaf

Hanoi Omega-Automata Format
14 stars 2 forks source link

grammar ambiguity #7

Closed adl closed 10 years ago

adl commented 10 years ago

Jan Strejcek said:

I think that the format is ambiguous. If I write State: 2 (0|1) 3, is the label a state-label or an edge-label?

I believe we discussed this in the bus in Hanoi. We have to fix the definition of state-name. Instead of

state-name       ::= "State:" INT DSTRING? label? acc-sig?

we could go with:

state-name       ::= "State:" label? INT DSTRING? acc-sig?
xblahoud commented 10 years ago

state-name ::= "State:" label? INT DSTRING? acc-sig?

sounds good to me.

I would aslo add "[" and "]" around labels for better understandability and to avoid cases like State: 2 1 3. Would 2 be the label or the name...?

adl commented 10 years ago

Fixed. (The delimiters "(" and ")", or "[" and "]" are already part of the definition of label.)