SlideServe
Menu
Préférences
© SlideServe · v2026

DETERMINISTIC CONTEXT FREE LANGUAGES

hyman avatar
0 diapositives · 347 Views · Jul 07, 2014

DETERMINISTIC CONTEXT FREE LANGUAGES. Ethakota Krishnamurthi Surendranath Manoj Gujjari. What is a CFL(Context Free Language)? Deterministic Context Free Language Description Properties Importance. CONTEXT FREE LANGUAGES.

DETERMINISTIC CONTEXT FREE LANGUAGES - slide 1
01 / 1DETERMINISTIC CONTEXT FREE LANGUAGES
1 / 17

Télécharger la présentation

DETERMINISTIC CONTEXT FREE LANGUAGES
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation

Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement. Téléchargez la présentation en cliquant sur ce lien. Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.

F I N

Plus de contenu associé

Transcription de la présentation
  1. DETERMINISTIC CONTEXT FREE LANGUAGES

    EthakotaKrishnamurthiSurendranath ManojGujjari
  2. What is a CFL(Context Free Language)? Deterministic Context Free Language Description Properties Importance
  3. CONTEXT FREE LANGUAGES Acontext-free language (CFL) is a language generated by some context-free grammar (CFG). Different CF grammars can generate the same CF language, or conversely, a given CF language can be generated by different CF grammars. The class of context-free languages generalizes the class of regular languages, i.e., every regular language is a context-free language. The reverse of this is not true, i.e., every context-free language is not necessarily regular.
  4. DCFL Deterministic context-free languages are a proper subset of context-free languages. Context free languages that can be accepted by Deterministic Push-Down Automata. DCFLs are always unambiguous. Many programming languages can be described by means of DCFLs.
  5. DCFL Description Consider $: end of string marker Consider an example: Let L = a*  {anbn : n > 0}. When it begins reading a’s, M must push them onto the stack. In case there are going to be b’s it runs out of input without seeing b’s, it needs a way to pop the a’s from the stack before it can accept. The end-of-string marker allows the popping to happen, when all the input has been read. Add $ to make it easier to build DPDAs, it does not add power (to allow building a PDA for L that was not context-free) There exist CLFs that are not deterministic, e.g., L = {aibjck, ij or jk}.
  6. A DETERMINISTIC PDA FOR L L = a*  {anbn : n > 0}.
  7. A NDPDA FOR L( No end-marker) L = a*  {anbn : n > 0}.
  8. Properties of DCFL DCFLS are not closed under union. DCFLS are not closed under intersection. DCFLS are closed under complement.
  9. DCFLS are not closed under UNION L1 = {aibjck, i, j, k 0 and ij}. (a DCFL) L2 = {aibjck, i, j, k 0 and jk}. (a DCFL) L = L1L2. = {aibjck, i, j, k 0 and (ij) or (jk)}. L = L. = {aibjck, i, j, k 0 and i = j = k}  {w {a, b, c}* : the letters are out of order}. L = L a*b*c*. = {anbncn, n0}. L is not even CF, much less DCF.
  10. DCFLS are not closed under Intersection L1 = {aibjck, i, j, k 0 and i = j}. L2 = {aibjck, i, j, k 0 and j = k}. L = L1L2 = L1 and L2 are deterministic context-free:
  11. CFL HIERARCHY
  12. References Automata, Computability and Complexity, Elaine Rich. http://en.wikipedia.org/wiki/Deterministic_context-free_language http://en.wikipedia.org/wiki/Context-free_language http://en.wikipedia.org/wiki/Unambiguous_grammar
  13. QUESTIONS?