License: 'do what you want'
Author: Alexander Weigl <[email protected]>
Date: 31. Dec 2012
Documentation: none
Deterministic finite automaton in TrAP for benchmarking.
hierarchy01 is a generated STH/DDH hierarchy
hierarchy02 is a STH with σ = { a,b,c }