M-460 PROGRAM NOTES: SOME LISP ROUTINES FOR MANIPULATING AUTOMATA.

Abstract

The report documents a set of LISP routines for manipulating finite-state machines. Though most of the LISP routines defined perform classical automata constructions, there are some routines operating on a non-deterministic version of a machine similar to the generalized sequential machine. A users' manual is included for the routines. (Author)

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1966
Accession Number
AD0630610

Entities

People

  • Thomas V. Griffiths

Organizations

  • Air Force Cambridge Research Laboratories

Tags

DTIC Thesaurus Topics

  • Automata
  • Machines

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.