Um serviço digital da FCT Publicação
Formalization of the Pumping Lemma for Context-Free Languages
| Resumo: | Context-free languages are highly important in computer language processing technology as well as in formal language theory. The Pumping Lemma is a property that is valid for all context-free languages, and is used to show the existence of non context-free languages. This paper presents a formalization, using the Coq proof assistant, of the Pumping Lemma for context-free languages. |
|---|---|
| País: | Portugal |
| Tipo de documento: | journal article |
| Tipo de acesso: | Aberto |
| Instituição associada: | Repositório Aberto da Universidade do Porto |
| Idioma: | inglês |
| Origem: | Repositório Aberto da Universidade do Porto |
Registos relacionados
Schooling in western cultures promotes context-free processing
The generation and transmission of pressure fluctuations in pump suction lines
FEA of Packaging Solutions for spare parts in Heat Pump Development
Publicado em: (2027)
Publicado em: (2027)
Formal Verification of Resource Usage
An Investigation Into User Expectations for Formal Verification
Symmetry in Encoding Information. Search for Common Formalism
Activity-Free Radial Velocities
Context-Aware Personalization Using Neighborhood-Based Context Similarity
3D Character Animation Using Sign Language
Language diversity impact on the self-efficacy of members in teams
Occult philosophy and the philosophy of language in Renaissance Europe and Elisabethan England
Characterization of portuguese heritage language teachers: a preliminary study
Study of SAP Hana in the in-memory context
Sophisticated Agent Modeling: Language Design and Implementation for Large-Scale Simulation
ProseBot: Expanding Textual Diversity through Natural Language Processing
Solvent-free enzymatic synthesis of decyl acetate: the 'cherry on top'?
Systematic review on psychotherapy in the context of psychedelic therapy
STRATEGIC CHANGE COMMUNICATION USING A NOVEL BUSINESS NARRATIVE MODELLING LANGUAGE
Free innovation in online communities: the case of Tech4COVID19
Association between free water reserve and handgrips strength in older adults
Achievement-motivation and child-rearing in different social contexts
Gene rearrangments in lung cancer: towards the detection in cell free nucleic acids
In vitro blood flow and cell-free layer in hyperbolic microchannels: Visualizations and measurements
Fostering innovation through the creation of an interoperability capability : an analysis using the business narrative modelling language
Pronunciation in Portuguese-produced English Language Teaching coursebooks: An overview of new lower secondary student's book
Migrant and native women's perceptions of prenatal care communication quality: the role of host-country language proficiency
First Report of Echinococcus ortleppi in Free-Living Wild Boar (Sus scrofa) from Portugal
Publicado em: (2021)
Publicado em: (2021)
Effect of the integration method on the accuracy and computational efficiency of free energy calculations using thermodynamic integration
A versatile synthesis method of dendrites-free segmented nanowires with a precise size control
Cell-free DNA methylation as a biomarker for early detection of the three major cancers in males
The quality of participation of brazilian theatre collectives in contexts of community artistic practices
Entre as relações morfossintáticas de género formal no Português Europeu e a expressão linguística da categoria sexo no Inglês
Publicado em: (2019)
Publicado em: (2019)
Conceções e reflexões sobre o (in)sucesso escolar: o formal e o informal nos discursos de professoras
Análise da atividade e das condições de trabalho das trancistas: entre o trabalho formal e informal
Tracing invisible footsteps: towards a multidisciplinary model for the spread of Khoe- Kwadi languages in precolonial southern Africa
"The Effect of Self-Scanning Checkout on Customer Satisfaction and Repatronage in a Retail Context"
Agility in Financial Companies Organizational Context Challenges and Benefits of Agile Methodologies Adoption
1-Octanol/water partition coefficients of n-Alkanes from molecular simulations of absolute solvation free energies
Product-Service Systems in the Construction Industry: An Exploratory Case Study in the Portuguese Context
Constructing and validating a scale of employee satisfaction with HRM practices in the healthcare context.