Analyses of the case studies for the efficiency of pumping lemma for the context-free languages-Reference-Cited by-同舟云学术

Analyses of the case studies for the efficiency of pumping lemma for the context-free languages

Published:2023-09-18 Issue:1 Volume: Page:9-15
ISSN:2788-645X
Container-title:CRJ
language:
Short-container-title:CRJ

Author:

Fetaji Majlinda,Fetaji Bekim,Asilkan Özcan

Abstract

In this study, we investigated the pumping lemma for context-free languages and analyzed some case studies in terms of their efficiency. Pumping lemmas play an important role in formal language theory. Context-free languages (CFL) is the set of languages that can be defined by context-free grammars. Context-free grammars are used to define programming languages, natural language applications (such as grammar correctors), machine protocols and many others. The case studies are used to simplify the process analyses of the efficiency of pumping lemma for Context-Free Languages. To prove that a Language is Not Context-Free using pumping lemma for CFL, we created a guideline presented in the fourth section that contains a proposed algorithmic procedure. Pumping lemma for CFL is used to show the existence of non-context free languages. Insights and argumentations were provided in the end of the paper.

Publisher

Canadian Institute of Technology

Reference9 articles.

1. Amar, V. G. Putzolu, R. (1965). Generalizations of regular events, Information and Control, 8, 1, 56–63. ⇒195, 196, 197

2. Amarilli, A., & Jeanmougin, M. (2012). A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata. ArXiv, abs/1207.2819.

3. Barthwal, A., Norrish, M. (2014). A mechanization of some context-free language theory in HOL4. Journal of Computer and System Sciences.

4. Bole, J. (2021). Formal languages and automata theory: introduction to abstract and theories of computation.

5. Pettorossi, A., & Proietti, M. (2017). Regularity of languages generated by non context-free grammars over a singleton terminal alphabet. arXiv: Formal Languages and Automata Theory.