Seminari Teoria de Grups: Automata Equations
- https://mat.upc.edu/ca/activitats/seminari-teoria-de-grups-automata-equations
- Seminari Teoria de Grups: Automata Equations
- 2016-03-01T13:45:00+01:00
- 2016-03-01T23:59:59+01:00
- "Automata Equations", Speaker: Albert Garreta (Stevens Institute)
"Automata Equations", Speaker: Albert Garreta (Stevens Institute)
- Quan
- 01/03/2016 des de/d' 13:45"
- On
- FME-UPC room 101
- Nom de contacte
- enric.ventura@upc.edu
- Afegeix un 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).