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
scientific article
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 |
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