On a Formal Definition of Direct Machine Tool Languages

摘要

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)