Sibylle Schwarz: Many-valued logic, Automata and Languages

Invitation to the Logic Seminar at the National University of Singapore

Date: Wednesday, 21 February 2018, 17:00 hrs

Room: S17#04-06, Department of Mathematics, NUS

Speaker: Sibylle Schwarz

Title: Many-valued logic, Automata and Languages.


In 1960, Buechi, Elgot, Trakhtenbrot discovered a correspondence
between finite automata and monadic second order logic on words:
A language of nonempty words is regular if and only if it is
MSO-definable. Many-valued logics with truth values from MV-algebras
and weighted automata with weights from semirings are generalizations
of classical two-valued logics and finite automata, respectively.
In this talk, I give some examples of corresponding MV-algebras
and semirings and present translations between many-valued
MSO-formulae and weighted automata that define the same language.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.