© 1978 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
A model of nonmorphological data collection based on sentential calculus
Institute of Informatics, Warsaw University, PKiN, pok. 850, 00-901 Warsaw, Poland
This paper describes, in a preliminary way, a model of data collection, patterned after sentential calculus. The purely syntactic character of the latter (Grzegorczyk, 1974), combined with recent advances in formal grammars (Deussen, 1975) seem to indicate how to push the confusing issues of semantics well outside the operational part of the system supporting such collection; at the same time, we get a total independence of any implementational factors. With today's notational technology it does not seem prohibitively difficult to develop completely the model proposed in this paper; it is felt, however, that the chosen form of presentation brings up the salient features of the idea uncluttered by a mass of details.
Received June 1976. revised October 1977.
* Now at: Institute of Informatics, Warsaw University, PKiN, pok. 850, 00-901 Warsaw, Poland.
Institute of Mathematical Machines, Krzywickiego 34, 02-078 Warsaw, Poland