Deterministic Context-free Grammar - History

History

In the 1960s, theoretical research in computer science on regular expressions and finite automata led to the discovery that context-free grammars are equivalent to nondeterministic pushdown automata. These grammars were thought to capture the syntax of computer programming languages. The first computer programming languages were under development at the time (see History of programming languages) and writing compilers was difficult. But using context-free grammars to help automate the parsing part of the compiler simplified the task. Deterministic context-free grammars were particularly useful because they could be parsed sequentially by a deterministic pushdown automaton, which was a requirement due to computer memory constraints. In 1965, Donald Knuth invented the LR(k) parser and proved that there exists an LR(k) grammar for every deterministic context-free language. This parser still required a lot of memory. In 1969 Frank DeRemer invented the LALR and Simple LR parsers, both based on the LR parser and having greatly reduced memory requirements at the cost of less language recognition power. The LALR parser was the stronger alternative. These two parsers have since been widely used in compilers of many computer languages.

Read more about this topic:  Deterministic Context-free Grammar

Famous quotes containing the word history:

    History has neither the venerableness of antiquity, nor the freshness of the modern. It does as if it would go to the beginning of things, which natural history might with reason assume to do; but consider the Universal History, and then tell us,—when did burdock and plantain sprout first?
    Henry David Thoreau (1817–1862)

    In history as in human life, regret does not bring back a lost moment and a thousand years will not recover something lost in a single hour.
    Stefan Zweig (18811942)

    The basic idea which runs right through modern history and modern liberalism is that the public has got to be marginalized. The general public are viewed as no more than ignorant and meddlesome outsiders, a bewildered herd.
    Noam Chomsky (b. 1928)