Vés al contingut (premeu Retorn)

Seminari Teoria de Grups: Automata Equations

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

Quan
01/03/2016 des de/d' 13:45"
On
FME-UPC room 101
Persona de contacte
enric.ventura@upc.edu
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/