A new proof technique to establish equivalence of the original and the generated lambda-free CFG with linear increase in size (Q1161305)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A new proof technique to establish equivalence of the original and the generated lambda-free CFG with linear increase in size |
scientific article; zbMATH DE number 3752255
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new proof technique to establish equivalence of the original and the generated lambda-free CFG with linear increase in size |
scientific article; zbMATH DE number 3752255 |
Statements
A new proof technique to establish equivalence of the original and the generated lambda-free CFG with linear increase in size (English)
0 references
1982
0 references
22, 17-26 (1982)
0 references
context-free grammar
0 references
derivation trees
0 references
equivalent grammar
0 references
elimination of empty productions
0 references
