Tata Institute of Fundamental Research
Unambiguity and Timed Languages : Automata, Logics, Expressiveness
Sasken Best Thesis Award Seminar
Speaker:
Simoni S. Shah
Organiser:
Paritosh K Pandya
Date:
Tuesday, 2 Dec 2014, 11:00 to 12:30
Venue:
AG-66 (Lecture Theatre)
(Scan to add to calendar)
Abstract:
Abstract: Regular languages exhibit considerable structure. The characterization of various classes of regular languages using classical and temporal logics, automata and varieties of monoids, as an attempt towards unification of diverse frameworks, has been an important theme and area of research for many decades. In this thesis, we have investigated logic-automata connections for unambiguous languages over finite words and also timed words.
Unambiguous star-free regular languages (UL) originally introduced by Schutzenberger, have various characterizations within classical logics (FO2[
| Speaker: | Simoni S. Shah |
| Organiser: | Paritosh K Pandya |
| Date: | Tuesday, 2 Dec 2014, 11:00 to 12:30 |
| Venue: | AG-66 (Lecture Theatre) |
(Scan to add to calendar)
Abstract:
Abstract: Regular languages exhibit considerable structure. The characterization of various classes of regular languages using classical and temporal logics, automata and varieties of monoids, as an attempt towards unification of diverse frameworks, has been an important theme and area of research for many decades. In this thesis, we have investigated logic-automata connections for unambiguous languages over finite words and also timed words.
Unambiguous star-free regular languages (UL) originally introduced by Schutzenberger, have various characterizations within classical logics (FO2[
Unambiguous star-free regular languages (UL) originally introduced by Schutzenberger, have various characterizations within classical logics (FO2[