. "finite-state systems" . "finite-state systems" . .