Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Ribeiro, Rodrigo Geraldo | - |
Autor(es): dc.contributor | Reis, Leonardo Viera dos Santos | - |
Autor(es): dc.contributor | Ribeiro, Rodrigo Geraldo | - |
Autor(es): dc.contributor | Reis, Leonardo Viera dos Santos | - |
Autor(es): dc.contributor | Vasconcellos, Cristiano Damiani | - |
Autor(es): dc.contributor | Roggia, Karina Girardi | - |
Autor(es): dc.contributor | Feitosa, Samuel da Silva | - |
Autor(es): dc.contributor | Fortes, Reinaldo Silva | - |
Autor(es): dc.creator | Cardoso, Elton Maximo | - |
Data de aceite: dc.date.accessioned | 2025-08-21T15:58:00Z | - |
Data de disponibilização: dc.date.available | 2025-08-21T15:58:00Z | - |
Data de envio: dc.date.issued | 2025-08-05 | - |
Data de envio: dc.date.issued | 2024 | - |
Fonte completa do material: dc.identifier | https://www.repositorio.ufop.br/handle/123456789/20721 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/1028786 | - |
Descrição: dc.description | Programa de Pós-Graduação em Ciência da Computação. Departamento de Ciência da Computação, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. | - |
Descrição: dc.description | Parsing Expressions Grammars (PEGs) are recognition formalism proposed by Brian Ford to describe top-down recursive parsers. Unfortunately, to determine whether an arbitrary PEG will terminate when parsing an input is an undecidable problem. As termination is a desired property for parsing tools, Ford proposes a well-formedness test that guarantees every PEG that satisfies it, terminates on any input. The well- formedness test proposed by Ford is computed as a fixpoint to ensure that every expression of a PEG is well-formed. However, in our view, this notion could be more simple and predictable if it was expressed as a type system. The aim of this work is to provide an alternative semantic formulation for PEGs which is based on type theory. More specifically, we intend to show that the well-known type soundness property for our type system for PEGs is essentially a well-formedness property, since the type system is sound with respect to Ford’s original formulation. | - |
Descrição: dc.description | Parsing Expression Grammars (PEGs) é um formalismo proposto por Brian Ford para descrever parsers descendentes recursivos. Infelizmente, determinar se uma PEG arbitrária irá terminar ao analisar uma entrada é um problema inde- cidível. Como a terminação é uma propriedade desejável para ferramentas de análise sintática, Ford propôs um teste de boa-formação que garante que toda PEG que o satisfaz termina para qualquer entrada. O teste de boa-formação proposto por Ford é calculado como um ponto fixo para assegurar que toda expressão de uma PEG seja bem-formada. No entanto, em nosso entendimento, essa noção poderia ser mais simples e previsível se fosse expressa como um sistema de tipos. O objetivo deste trabalho é fornecer uma formulação semântica alternativa para PEGs baseada em teoria de tipos. Mais especificamente, pretendemos mostrar que a conhecida pro- priedade de segurança de tipos (type soundness) para o nosso sistema de tipos para PEGs é, essencialmente, uma propriedade de boa-formação, uma vez que o sistema de tipos é correto em relação à formulação original de Ford. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | en | - |
Direitos: dc.rights | aberto | - |
Direitos: dc.rights | Attribution-ShareAlike 3.0 United States | - |
Direitos: dc.rights | http://creativecommons.org/licenses/by-sa/3.0/us/ | - |
Direitos: dc.rights | Autorização concedida ao Repositório Institucional da UFOP pelo(a) autor(a) em 20/06/2025 com as seguintes condições: disponível sob Licença Creative Commons 4.0 que permite copiar, distribuir e transmitir o trabalho, desde que sejam citados o autor e o licenciante. | - |
Palavras-chave: dc.subject | Computação - sintaxe | - |
Palavras-chave: dc.subject | Linguagem de programação - computadores - sistema de tipos | - |
Palavras-chave: dc.subject | Compiladores - computadores | - |
Título: dc.title | A typed approach for parsing expression grammar termination. | - |
Título: dc.title | Uma abordagem tipada para terminação de gramática de expressão de parsing. | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional - UFOP |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: