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
Security Markings
DOCUMENT & CONTEXTUAL SUMMARY
Distribution:
Approved For Public Release
RECORD
Collection: TR