search

adl / hoaf

Hanoi Omega-Automata Format
14 stars 2 forks source link

state numbers #6

Closed adl closed 10 years ago

adl commented 10 years ago

Jan asked this in a mail:

Is it necessary to declare the states in the order 0..n-1? The number is just a name. And do we really need to specify them all? Even non-accpeting states without transitions?

I don't have any strong feelings about this.

I don't see any reason to force an order on the output.

States without outgoing transitions need to be discussed also for #5, but I'd rather list them explicitly: those should be seldom used in practice, so I'd prefer to be able to notice when they are used.

xblahoud commented 10 years ago

Neither I would force the order of the states. And I also support to list explicitly the states without any outgoing edge. Otherwise it wouldn't be consistent and it would be impossible to clearly verify that the number of states matches the states listed (i.e. no state is missing in the output - may be useful in case of some faults possibilities or stream reading)