The Decidability of a Mapping Problem for Generalized Sequential Machines with Final States

Kenneth B. Salomon. The Decidability of a Mapping Problem for Generalized Sequential Machines with Final States. J. Comput. Syst. Sci., 10(2):200-218, 1975.

Abstract

Abstract is missing.