๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On the use of COBOL type languages for the description of translators

โœ Scribed by L. P. Babenko


Publisher
Springer US
Year
1966
Tongue
English
Weight
412 KB
Volume
1
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Decidability of the consistency problem
โœ G. Costagliola; V. Deufemia; F. Ferrucci; C. Gravino ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 86 KB

In the paper we address the consistency problem for drawn symbolic picture grammars. In particular we prove that it is always possible to decide whether or not a regular grammar generates only consistent descriptions of drawn symbolic pictures.