You are here: Home Student Projects and … Finished [Varies] Minimization of Nested …

[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.