Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have