automaton: A property cache
We should keep track of facts about automata, under the form of a property-cache.
- properness
- determinism
- properness per tape
- possibly determinism per tape
Note that we will need some dynamic allocation scheme for properties, for instance because the number of tapes is unbounded. The xalloc
feature from streams might be a good source of inspiration.