Matrix graph grammars

• Autores: Pedro Pablo Pérez Velasco
• Directores de la Tesis: Juan de Lara Jaramillo (dir. tes.)
• Lectura: En la Universidad Autónoma de Madrid ( España ) en 2008
• Idioma: español
• Tribunal Calificador de la Tesis: Manuel Alfonseca Moreno (presid.), Roberto Moriyón Salomón (secret.), Fernando Orejas Valdés (voc.), Paolo Gaspare Bottoni (voc.), Gabriel Valiente Feruglio (voc.)
• Materias:
  • Lógica
    • Lógica deductiva
      • Lenguajes formales
      • Teoría de lenguajes formales
  • Matemáticas
    • Ciencia de los ordenadores
      • Teoría de la programación
• Enlaces
  • Tesis en acceso abierto en: Biblos-e Archivo
• Resumen

  • 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).