Bridging the Gap: From Non-determinism to Determinism in UL

Speaker:

Simoni Shah

Organiser:

Karthyek Rajhaa A M

Date:

Friday, 26 Apr 2013, 14:30 to 16:00

Venue:

A-212 (STCS Seminar Room)

Category:

Student Seminar

event.ics Print

Abstract

The class of Unambiguous Star-free regular languages over words has been variously characterized in the past by logics such as the fragments $\Delta_2[