Search
Now showing items 1051-1060 of 4210
CGRU and CONG: CONVERT and LISP Programs to Find the Congruence Relations of a Finite State Machine
(1968-01-01)
CRGU is a CONVERT program, CONG its literal transcription into LISP, realized in the CTSS LISP of Project MAC, for finding all the congruence relations of a finite state machine whose transition table is given as an argument. ...
REC/8: A CONVERT Compiler of REC for the PDP-8
(1968-01-01)
REC/8 is a CONVERT program, realized in the CTSS LISP of Project MAC, for compiling RED expressions into the machine language of the PDP-8 computer. Since the compilation consists in its majority of subroutines calls (to ...
Functional Abstraction in LISP and PLANNER
(1968-01-01)
Presented here is part of the graduate work that I am doing in the much broader area of protocol analysis (see A.I. memo 137). The goal of the function abstraction is to find a procedure that satisfies a given set of ...
SUBM: A CONVERT Program for Constructing the Subset Machine Defined by a Transition System
(1968-01-01)
SUBM is a CONVERT program, realized in the CTSS LISP of Project MAC, for constructing the subset machine with the same behaviour as a given transition system. The program interactively collects the six items defining a ...
DDT Reference Manual
(1971-09-01)
This memo describes the version of DDT used as the command level of the A.I. Laboratory Time Sharing System (ITS). Besides the usual program control, examination, and modification features, this DDT provides many ...
Stereo and Perspective Calculations
(1967-09-01)
A brief introduction to use of projecting coordinates for hand-eye position computations. Some standard theorems. Appendix A reproduces parts of Roberts' thesis concerning homogenous coordinated and matching of perspectively ...
PICPAC: A PDP-6 Picture Package
(1967-10-01)
PICPAC is a program to be used for manipulating pictures of real-world scenes. It operated under ITS (the Incompatible Time-Sharing System) under control of a simple on-line command language. It includes facilities for ...
I/O Test
(1967-10-01)
IO TEST is intended as a hardware testing and debugging aid for use with the PDP-6 and its associated input multiplexer (analog to digital converter) and output multiplexer (digital to analog converter). While all characters ...
Information Theory and the Game of JOTTO
(1971-08-01)
The word game, JOTTO, has attracted the interest of several computer programmers over the years, not to mention countless devoted players. Rules are: 1.) Each of 2 players selects a 5-letter English word, or a proper noun, ...
Equivalence Problems in a Model of Computation
(1967-08-01)
A central problem in the mathematical teory of computers and computation is to find a suitable framework for expressing the ececution of a computer program by a computer. Within the framework we want to be alble to provide ...