Tata Institute of Fundamental Research
A Complete Axiom System for the Algebra of Regular Sets
Student Seminar
Speaker:
Suneel Sarswat
Organiser:
Mohit Garg
Date:
Friday, 29 Nov 2013, 16:00 to 17:30
Venue:
D-405 (D-Block Seminar Room)
(Scan to add to calendar)
Abstract:
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.
| Speaker: | Suneel Sarswat |
| Organiser: | Mohit Garg |
| Date: | Friday, 29 Nov 2013, 16:00 to 17:30 |
| Venue: | D-405 (D-Block Seminar Room) |
(Scan to add to calendar)
Abstract:
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.