Seminari Teoria de Grups: Automata Equations

"Automata Equations", Speaker: Albert Garreta (Stevens Institute)

Quan?

01/03/2016 des de 13:45 (Europe/Madrid / UTC100)

On?

FME-UPC room 101

Nom de contacte

enric.ventura@upc.edu

Afegiu l'esdeveniment al calendari

iCal

Abstract

We will discuss the following problem: Suppose we have two directed graphs, G_1 and G_2, with labels in a set of constants A and a set of variables X. Each G_i has an initial vertex and a set of accepting vertices. We want to find a map f from X to A* so that G_1 and G_2 accept the same language once we substitute each x in X by f(x).

http://www.grupsbcn.cat/](http://www.grupsbcn.cat/