Kleene algebra is a mathematical structure used in theoretical computer science, formal language theory, and algebra. It is named after the mathematician Stephen Kleene, who made significant contributions to the foundations of automata theory and formal languages. Kleene algebra consists of a set equipped with certain operations and axioms that support reasoning about the properties of regular languages and automata.

Ancestors (6)

  1. Algebraic structures
  2. Abstract algebra
  3. Algebra
  4. Fields of mathematics
  5. Mathematics
  6. Home

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version