ON A FORMAL DEFINITION OF DIRECT MACHINE TOOL LANGUAGES,

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)

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1968
Accession Number
AD0679598

Entities

People

  • A. Camera
  • Alfonso Carracciolo De Forino

Organizations

  • University of Pisa

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Automata
  • Automata Theory
  • Context Free Grammars
  • Formal Languages
  • Grammars
  • Language
  • Linguistics
  • Machine Tools
  • Machines
  • Nomenclature
  • Standards
  • Tools
  • Transitions

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Statistical inference.