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

reportActive / Technical Report | Accession Number: AD0630610 | Need Help?

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
Identifying Numbers
Subject Terms