ASTL: Table of content

1. Introduction to ASTL
2. preliminary
   1. sigma
      1. concept
      2. inner type: alphabet
      3. provided types
         1. type_alphabet
         2. range_alphabet
   2. tag
      1. concept
      2. provided types
         1. minimization tag
3. Automata
   1. the automaton concept
   2. types
      1. Deterministic Finite Automaton (DFA)
         1. the DFA type (interface)
         2. DFA implementations
            1. DFA matrix
            2. DFA map
            3. DFA bin
            4. DFA move to front
            5. DFA transpose
            6. DFA compact
         3. DFA extensions
            1. DFA default
         4. complexity summary
      2. Non-deterministic Finite Automaton (NFA)
         1. the NFA type (interface)
         2. NFA implemntations
            1. NFA matrix
            2. NFA multimap
   3. The Edges built-in type
4. Algorithms
   1. algorithms on DFAs
      1. acyclic_minimization
      2. copy_breadth
      3. copy_depth
      4. language
      5. is_in
      6. tree_build
      7. dfa_ascii_write
      8. dfa_binary_write
      9. vcg
      10. union
      11. intersection
      12. symetrical difference
      13. hash
   2. algorithms on NFAs
      1. determinize
      2. nfa_ascii_write