Kleene Algebra Arithmetic Operators Roland Backhouse 1st October - - PowerPoint PPT Presentation

kleene algebra arithmetic operators
SMART_READER_LITE
LIVE PREVIEW

Kleene Algebra Arithmetic Operators Roland Backhouse 1st October - - PowerPoint PPT Presentation

1 Kleene Algebra Arithmetic Operators Roland Backhouse 1st October 2002 2 Outline Algebra of choice ( + ) , sequencing ( ) and iteration ( ) Name Kleene algebra is a tribute to S. C. Kleene Algebra of regular


slide-1
SLIDE 1

1

Kleene Algebra ”Arithmetic” Operators

Roland Backhouse 1st October 2002

slide-2
SLIDE 2

2

Outline

  • Algebra of choice (+) , sequencing (·) and iteration (∗)
  • Name “Kleene algebra” is a tribute to S. C. Kleene
  • “Algebra of regular events”
  • Lots of other interpretations.
  • First example of “fixed points” and “fixed point induction”.
slide-3
SLIDE 3

3

“Arithmetic” Axioms

(x+y)+z = x+(y+z) , x+y = y+x , x+0 = x = 0+x , x·(y·z) = (x·y)·z , x ·(y+z) = (x·y) +(x·z) , (y+z)·x = (y·x) +(z·x) , x·0 = 0 = 0·x , 1·x = x = x·1 . Overloading of “+” and “·” is intended to suggest an analogy with

  • arithmetic. But, be careful!!
slide-4
SLIDE 4

4

Axioms — Ordering

Idempotency x+x = x Ordering x ≤y ≡ x+y = y .

slide-5
SLIDE 5

5

Informal Coursework

Suppose R is a binary relation and ⊕ is a binary operator such that xRy ≡ x⊕y = y . Prove the following: R is reflexive ≡ ⊕ is idempotent , R is transitive ≡ ⊕ is associative . R is antisymmetric ⇐ ⊕ is symmetric .

slide-6
SLIDE 6

6

Informal Coursework (Continued)

Show that multiplication and addition in a Kleene algebra are both monotonic.

slide-7
SLIDE 7

7

Interpretations

carrier + · 1 ≤ Languages sets of ∪ · φ {ε} ⊆ words Programming binary ∪

  • φ

id ⊆ relations Reachability booleans ∨ ∧ false true ⇒ Shortest paths nonnegative min + ∞ ≥ reals Bottlenecks nonnegative max min ∞ ≤ reals