Tesis doctoral de Pedro Pablo Pérez Velasco
Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto de vista de un ingeniero informático, las gramáticas de grafos son una generalización natural de las gramáticas de chomsky, para las que una aproximación puramente algebraica no existe hasta la fecha. Una gramática de chomsky (también conocidas como gramáticas de cadenas) es, grosso modo, una descripción precisa de un lenguaje formal (que esencialmente es un conjunto de cadenas). Desde un punto de vista más de matemática discreta podría decirse que las gramáticas de grafos — en particular las gramáticas matriciales de grafos — estudian dinámica de grafos. Idealmente, esta algebraización debiera mejorar nuestro conocimiento de las gramáticas en general, proporcionando además nuevas técnicas de análisis y generalizaciones de conceptos, problemas y resultados. %&/En esta tesis desarrollamos completamente esta teoría sobre el cuerpo gf(2) que contempla todos los tipos de grafos, desde grafos simples (más estudiados en matemática discreta) a multidigrafos (más interesantes para un ingeniero informático).
Datos académicos de la tesis doctoral «Matrix graph grammars«
- Título de la tesis: Matrix graph grammars
- Autor: Pedro Pablo Pérez Velasco
- Universidad: Autónoma de Madrid
- Fecha de lectura de la tesis: 18/04/2008
Dirección y tribunal
- Director de la tesis
- Juan De Lara Jaramillo
- Tribunal
- Presidente del tribunal: manuel Alfonseca moreno
- gabriel Valiente (vocal)
- Fernando Orejas valdés (vocal)
- paolo gaspare Bottoni (vocal)