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.
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.

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