PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Caracciolo A. The formal definitions of machine tool languages. In: Numerical Control Programming Languages, pp. 315 - 332. 1971.
 
 
Abstract
(English)
The problem of giving a formal definition of machine tool languages, including their semantics, is discussed with reference to both direct machine tool languages (input-tapes) and higher level languages like APT. The method proposed is based on an appropriate extension of the concept of a Markov Algorithm. An indication of other approaches is included.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional