Multitape one-way nonwriting automata

Patrick C. Fischer; Arnold L. Rosenberg

doi:10.1016/S0022-0000(68)80006-6

Journal of Computer and System Sciences

Paper

01 Jun 1968

Multitape one-way nonwriting automata

View publication

Abstract

The theory given by Rabin and Scott for one-tape finite automata is extended to cover machines with several input tapes which can be advanced independently under finite-state control. © 1996 Academic Press, Inc.

Conference paper

CertRL: Formalizing convergence proofs for value and policy iteration in Coq

Conference paper

Zeroth-Order Optimization for Composite Problems with Functional Constraints

Conference paper

Cumulative Stay-time Representation for Electronic Health Records in Medical Event Time Prediction

Conference paper

Super-resolution of Turbulent Flows in the Absence of the High-Resolution Ground Truth

View all publications

Abstract

Related

CertRL: Formalizing convergence proofs for value and policy iteration in Coq

Zeroth-Order Optimization for Composite Problems with Functional Constraints

Cumulative Stay-time Representation for Electronic Health Records in Medical Event Time Prediction

Super-resolution of Turbulent Flows in the Absence of the High-Resolution Ground Truth