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

A solution of the syntactical induction-inference problem for regular languages

โœ Scribed by Tsyh-Wen Pao; John W. Carr III

Book ID
113230047
Publisher
Elsevier Science
Year
1978
Tongue
English
Weight
778 KB
Volume
3
Category
Article
ISSN
0096-0551

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Decidability of the consistency problem
Decidability of the consistency problem for regular symbolic picture description languages
โœ 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.