Nie jesteś zalogowany | Zaloguj się

Logics for Transductions

Prelegent(ci)
Nathan Lhote
Afiliacja
Uniwersytet Warszawski
Termin
24 października 2018 14:15
Pokój
p. 5050
Seminarium
Seminarium „Teoria automatów”

Logics over words such as Monadic Second-Order Logic, or Linear Temporal Logic provide a way to specify properties of systems in a high-level formalism, close to natural language. From such formulas one would like to decide properties such as satisfiability, model-checking or synthesis problems, and the tight links between logics and automata have provided effective procedures to do so. We present several attempts to generalize some well-known results from languages to transductions (i.e. functions from words to words).