Lec-32: Closure properties of regular languages in TOC