search

adl / hoaf

Hanoi Omega-Automata Format
14 stars 2 forks source link

Should `States:` be mandatory? #30

Closed adl closed 10 years ago

adl commented 10 years ago

Joachim suggests that we mark States: as recommended but optional. Knowing the number of states beforehand makes it possible to preallocate various arrays and do better error checking, but it is not really harder to parse the file without this information. On the other hand, you do not necessarily know the number of states when you output an automaton that is built on the fly, so having to specify this number might be inconvenient.

What do you think?

xblahoud commented 10 years ago

I thing the format should be on-the-fly and streaming friendly. So I see this as a good point.

JanKretinsky commented 10 years ago

I agree as long as "recommended" stays as well