School of Technology and Computer Science Seminars

A Complete Axiom System for the Algebra of Regular Sets

by Mr. Suneel Sarswat (School of Technology and Computer Science, TIFR)

Friday, November 29, 2013 from to (Asia/Kolkata)
at Colaba Campus ( D-405 (D-Block Seminar Room) )
Description
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.