5 Kleene and Omega Algebra

Kleene and Omega Algebra [Slide 20]

Let K denote š’«(Ī£+ āˆŖ Ī£Ļ‰),

(K,āˆŖ,āˆ…,ā‹…,Ī£) is an idempotent left semiring iļ¬€ (for a,b,c āˆˆ K)

Kleene and Omega Algebra [Slide 21]

(K,āˆ¼ ) is a Boolean idempotent left semiring iļ¬€

As usual we have the following

Kleene and Omega Algebra [Slide 22]

(K,āˆ—) is a Boolean strong left (lazy) Kleene algebra iļ¬€

(K,Ļ‰) is a Boolean left (lazy) omega algebra iļ¬€

2023-09-12
Contact | Home | ITL home | Course | Proofs | Algebra | FL
Ā© 1996-2023