A STUDY OF AUTOMATA THEORY AND DIGITAL CONTROL,

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)

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1963
Accession Number
AD0425088

Entities

People

  • D. J. Kuck
  • J. T. Tou

Organizations

  • Northwestern University

Tags

DTIC Thesaurus Topics

  • Automata
  • Automata Theory
  • Computations
  • Computer Programs
  • Computer Science
  • Computers
  • Computing Devices
  • Digital Computers
  • Materials
  • Theory Of Computation

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design