. "one-counter machines" . "one-counter machines" . .