Por favor, use este identificador para citar o enlazar este ítem:
http://repositorio.ufc.br/handle/riufc/82085| Tipo: | TCC |
| Título : | Gramática livre de contexto para tipagem de grafos em linguagem de programação |
| Autor : | Pinheiro, Alysson Lucas Braga |
| Tutor: | Rezende, Cenez Araújo de |
| Palabras clave en portugués brasileño: | gramática livre de contexto;tipagem de grafos;sistemas de tipos;antlr4;verificação semântica |
| Palabras clave en inglés: | context-free grammar;graph typing;type systems;antlr4;semantic validation |
| Áreas de Conocimiento - CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Fecha de publicación : | 2025 |
| Citación : | PINHEIRO, Alysson Lucas Braga. Gramática livre de contexto para tipagem de grafos em linguagem de programação. 2025. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Campus de Russas, Universidade Federal do Ceará, Russas, 2025. |
| Resumen en portugués brasileño: | Este Trabalho de Conclusão de Curso investiga, formaliza e valida uma Gramática Livre de Contexto (GLC) dedicada à tipagem estática de grafos, com vistas a suprir lacunas metodológicas em linguagens formais e compiladores orientados a grafos. A gramática foi especificada em Extended Backus–Naur Form (EBNF), convertida para Another Tool for Language Recognition (ANTLR 4) e acompanhada de uma semântica executável em Python, implementada via visitor pattern. Essa infraestrutura permite, em tempo de compilação, detectar usos de vértices e arestas sem declaração prévia, violação de cardinalidade, incompatibilidades típicas de multigrafos direcionados e ausência de atributos obrigatórios, além de identificar ciclos ou identificadores duplicados quando tais restrições são impostas. Do ponto de vista acadêmico, o trabalho contribui ao oferecer uma base teórica rigorosa que pode ser empregada tanto no ensino de Teoria de Grafos quanto em disciplinas de Compiladores e Linguagens Formais, servindo como caso de estudo completo — da definição lexical e sintática ao ciclo de análise semântica — para estudantes e pesquisadores. Ademais, a proposta estabelece um framework extensível que pode ser reutilizado em futuras linhas de pesquisa sobre sistemas de tipos para grafos, transformação de grafos baseada em regras, integração de grafos a DSLs e geração automática de código. A validação com um conjunto de onze casos de teste sintéticos evidenciou cobertura integral das regras gramaticais, reforçando a robustez do método e seu potencial como artefato de pesquisa replicável. |
| Abstract: | This work proposes the development of a context-free grammar for graph typing, aiming to formalize the characteristics of these structures in computational systems. The increasing complexity of graph-based systems, used in domains such as social networks, logistics systems, and data science, demands tools that ensure consistency and safety in handling these structures. The proposed grammar defines types for vertices and edges, as well as establishes composition rules and semantic validation. The project focuses on planning the grammar and modeling an interpreter capable of validating and inferring properties of graphs. It is expected that the future implementation of this proposal (in a subsequent thesis) will result in a formal and efficient approach to graph typing, contributing to the reliability of computational systems that rely on these structures. |
| URI : | http://repositorio.ufc.br/handle/riufc/82085 |
| Derechos de acceso: | Acesso Aberto |
| Aparece en las colecciones: | CIÊNCIA DA COMPUTAÇÃO - RUSSAS - Monografias |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 2025_tcc_albpinheiro.pdf | 610,85 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.