MINIMIZATION OF PLANAR DIRECTED ACYCLIC GRAPH ALGEBRAS
Antonios Kalampakas, Olympia Louscou-Bozapalidou · International Journal of Foundations of Computer Science · 2013
We introduce planar directed acyclic graph algebras and present an explicit minimization method. The minimal simulation of a nondeterministic automaton on planar directed acyclic graphs is constructed.