SUBM: A CONVERT Program for Constructing the Subset Machine Defined by a Transition System
Author(s)
McIntosh, Harold V.
DownloadAIM-148.ps (4.859Mb)
Additional downloads
Metadata
Show full item recordAbstract
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 transition system: its state set, alphabet, transition function, initial states, accepting states and spontaneous transitions. It then computes the subset machine, producing its state set, transition function, initial state and accepting states.
Date issued
1968-01-01Other identifiers
AIM-148
Series/Report no.
AIM-148