A Complete Axiom System for the Algebra of Regular Sets

Speaker:

Time:

Friday, 29 November 2013, 16:00 to 17:30

Venue:

• D-405 (D-Block Seminar Room)

Organisers:

Abstract: A formal axiom system for the algebraic manipulation of regular expressions will be discussed. This system is consistent and complete; equations derivable within this system are precisely the ones that are true. The completeness proof is based on the uniqueness of solution of certain equations of regular expressions.