search

adl / hoaf

Hanoi Omega-Automata Format
14 stars 2 forks source link

DSTRING #14

Closed strejcek closed 10 years ago

strejcek commented 10 years ago

DSTRING occurs in definition of Body of the automaton, but it's not defined in the document. Is it something standard of it is a typo and should be just STRING (defined at the beginning of the document)?

adl commented 10 years ago

Thanks, fixed.