[Varies] Minimization of Nested Word Automata
Examine minimization algorithms for different kinds of automata. Develop a minimization algorithm for a variant of nested word automata. Implement your algorithm in our automaton tool.
