𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A method for the inference of non-recursive context-free grammars

✍ Scribed by C. Chirathamjaree; Martin H. Ackroyd


Publisher
Elsevier Science
Year
1980
Weight
438 KB
Volume
12
Category
Article
ISSN
0020-7373

No coin nor oath required. For personal study only.

✦ Synopsis


A practical method is presented for the automatic generation of a non-recursive context-free grammar (cfg) from a set of strings that the cfg is required to be capable of producing. The method is efficient in computing time by comparison with enumerative methods.


πŸ“œ SIMILAR VOLUMES


Homogeneous grammars with a reduced numb
✍ A. Meduna; D. KolΓ‘Ε™ πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 70 KB

A homogeneous production has its left-hand side formed by a non-empty string of identical nonterminals. A phrase-structure grammar is homogeneous if each of its productions is homogeneous. The present paper discusses the reduction of homogeneous grammars with respect to the number of non-context-fre

The unsolvability of the equality proble
✍ Meera Blattner πŸ“‚ Article πŸ“… 1973 πŸ› Elsevier Science 🌐 English βš– 258 KB

The equivalence problem for nondeterministic e-free generalized machines is known to be undecidable. It is shown here that the equivalence problem for these machines can be reduced to the equality problem of the sentential forms of a particular type of linear context-free grammars with a center-mark

The obstructions of a minor-closed set o
✍ B Courcelle; G SΓ©nizergues πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 979 KB

We establish that the finite set of obstructions of a minor-closed set of graphs given by a hyperedge replacement grammar can be effectively constructed. Our proof uses an auxiliary result stating that the system of equations associated with a proper hyperedge replacement grammar has a unique soluti