2 and Pierluigi San Pietro.pdfVIP

Dense Counter Machines and Verification Problems Gaoyan Xie 1 , Zhe Dang 1 , Oscar H. Ibarra 2 and Pierluigi San Pietro 31 School of Electrical Engineering and Computer Science Washington State University Pullman, WA 99164, USA2 Department of Computer Science University of California Santa Barbara, CA 93106, USA3 Dipartimento di Elettronica e Informazione Politecnico di Milano, Italia Abstract. We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and tested for zero) by allo