Regular expressions

Please expand.

Algebraic semantics

The algebraic semantics of regular expressions is given by a Kleene algebra.

The completeness of Kleene algebra for regular expressions was independently shown by Kozen and Krob.