M
Marcus Vinícius Midena Ramos
Researcher at Universidade Federal do Vale do São Francisco
Publications - 8
Citations - 24
Marcus Vinícius Midena Ramos is an academic researcher from Universidade Federal do Vale do São Francisco. The author has contributed to research in topics: Formal language & Pumping lemma for regular languages. The author has an hindex of 3, co-authored 8 publications receiving 21 citations.
Papers
More filters
Posted Content
Formalization of closure properties for context-free grammars.
TL;DR: The results obtained so far include the representation of context-free grammars, the description of algorithms for some operations on them and the proof of related theorems (e.g. the correctness of these algorithms).
Posted Content
Formalization of simplification for context-free grammars
TL;DR: This paper presents a formalization, using the Coq proof assistant, of the fact that general context-free grammars generate languages that can be also generated by simpler and equivalent context- Free Grammars.
Book ChapterDOI
On the Formalization of Some Results of Context-Free Language Theory
TL;DR: This work describes a formalization effort of fundamental results related to the classical theory of context-free grammars and languages, using the Coq proof assistant, and includes the important result that is the formalization of the Pumping Lemma for context- free languages.
Posted Content
Formalization of context-free language theory
TL;DR: This paper presents a formalization, using the Coq proof assistant, of fundamental results related to context-free grammars and languages, including closure properties, grammar simplification, and the existence of a Chomsky Normal Form.
Journal ArticleDOI
Formalization of the pumping lemma for context-free languages
TL;DR: This paper presents a formalization, using the Coq proof assistant, of the Pumping Lemma for context-free languages.