← Back to search

Meaning of Kleene algebra | Babel Free

Noun CEFR B2

Definitions

A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where "∼" here denotes the De Morgan involution.

CEFR level

B2

Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Kleene closure Kleene fixed-point theorem Kleene hierarchy Kleene operator Kleene plus Kleene star