Premium
The formal definition of human/ machine communications
Author(s) -
Lawson Harold W.,
Berthan Miquel,
Sanagustin Javier
Publication year - 1978
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380080107
Subject(s) - metalanguage , computer science , operator (biology) , programming language , terminal (telecommunication) , formal description , human language , artificial intelligence , formal language , natural language , natural (archaeology) , linguistics , telecommunications , history , biochemistry , chemistry , philosophy , archaeology , repressor , transcription factor , gene
Abstract The specification of human/machine dialogues for general purpose terminals and special purpose consoles in a natural language is difficult and frequently leads to ambiguities and misinterpretations between terminal and dialogue constructors and users. In this paper, the problem of operator console definition is related to the problem of language and language translator definition. An efficient metalanguage tool (TBNF) for the handling of the latter problem is applied to the solution of the first problem. An example from the Telecontrol of a Power Network, being developed at ENHER (Barcelona, Spain), is described as an illustration.