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) )
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. |