Bridging the Gap: From Non-determinism to Determinism in UL
Student Seminar
Speaker:
Simoni Shah
Organiser:
Karthyek Rajhaa A M
Date:
Friday, 26 Apr 2013, 14:30 to 16:00
Venue:
A-212 (STCS Seminar Room)
(Scan to add to calendar)
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[