Return to Issue Details APPROXIMATION OF AUTOMATA WITH RESPECT TO THE ANNIHILATION PREDICATE Download Download PDF