1 T otal M aintenance S ystem (TMS) Edgewood Management Corporation Presents Jamal Abdul-Wali.
Two algorithms for checking emptiness. How to check for emptiness? Is L (A) = ; ? Need to check if there exists an accepting computation (passes through.