Application of logic to the design of computing machines.
Final report /
A.W. Burks, H. Wang, J. Holland.

Description

Main Author

Burks, Arthur W. (Arthur Walter), 1915-2008

Related Names

Holland, John, author.
Wang, Hao, author.
University of Michigan. Department of Philosophy.
United States. Air Force.

Language(s)

English

Published

[Washington, D.C.] : Air Force Office of Scientific Research, Air Research and Development, United States Air Force, 1959.

Subjects

Computers.
Computer programs.
Computer programs.
Computers.
Machine theory > Machine theory / Logic machines.

Summary

This final report has two parts. In the first part, the results obtained on fixed automata are summarized. The detailed accound of these results can be found in the technical report, The Logic of Automata, (AFOSR TN 56-539, ASTIA AD 110-358) by Arthur W. Burks and Hao Wang. Results obtained on growing automata are summarized in the second part.

Note

Contract No. AF 18(603)-72.
Research supported by the United States Air Force and performed by the University of Michigan, College of Literature, Science and the Arts, Department of Philosophy.
"August 1959."

Physical Description

ii, [1], 13 pages : illustrations ; 28 cm.

Locate a Print Version

Find in a library

Viewability