ON A FORMAL DEFINITION OF DIRECT MACHINE TOOL LANGUAGES,

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

Abstract:

A method is given for specifying a complete formal definition for numerically controlled machine tools. The method uses EIA standards for nomenclature and for input tape formats. The method uses automata theory concepts, the tools being specified by the set of possible states and a transition function. The transition function is given in terms of a conditional functional generalized Markov algorithm. The input tape structure is specified in terms of a context-free grammar. The method is applied to a simplified machine tool with a limited number of axes and functions. Author

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Subject Terms