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

    Identifiers