Resumen de Matrix graph grammars
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).
