Kleene Algebra - History

History

Kleene algebras were not defined by Kleene; he introduced regular expressions and asked for a complete set of axioms, which would allow derivation of all equations among regular expressions. The problem was first studied by John Horton Conway under the name of regular algebras. The axioms of Kleene algebras solve this problem, as was first shown by Dexter Kozen.

Read more about this topic:  Kleene Algebra

Famous quotes containing the word history:

    History is the present. That’s why every generation writes it anew. But what most people think of as history is its end product, myth.
    —E.L. (Edgar Lawrence)

    The history of his present majesty, is a history of unremitting injuries and usurpations ... all of which have in direct object the establishment of an absolute tyranny over these states. To prove this, let facts be submitted to a candid world, for the truth of which we pledge a faith yet unsullied by falsehood.
    Thomas Jefferson (1743–1826)

    I think that Richard Nixon will go down in history as a true folk hero, who struck a vital blow to the whole diseased concept of the revered image and gave the American virtue of irreverence and skepticism back to the people.
    William Burroughs (b. 1914)