Accession Number:

AD0425088

Title:

A STUDY OF AUTOMATA THEORY AND DIGITAL CONTROL,

Descriptive Note:

Corporate Author:

NORTHWESTERN UNIV EVANSTON ILL TECHNOLOGICAL INST

Personal Author(s):

Report Date:

1963-09-01

Pagination or Media Count:

72.0

Abstract:

Some formal techniques are applied to the study of digital computer programs. Both the representation of object programs and their control are considered. Such formal treatment is worthwhile both in evolving a theory of computation and in mechanizing operations on programs. Introductory and background material include a number of definitions and representation equivalences. The problem of combining programs is considered and solved in these terms. There is a discussion of program control for more involved situations requiring pushdown control lists. Author

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE