What is Inherently Ambiguous Grammar (2)

Duration: 5 min

This video lesson is available to enrolled students.

Return to /learn/BPSC/part-3-theory-of-computation/grammar-cfg/ambiguity-inherent-amb/asset-what-is-inherently-ambiguous-grammar-2 after enrolling

Inside: a video lesson and guided study material.

Module outline

  1. About the Course: About the Course
  2. Section 1 | भाषा (हिंदी) / Language (Hindi): भाषा, लिपि और वर्ण, वर्तनी, वर्ण-विन्यास, अनुस्वार, अनुनासिक, चंद्रबिंदु और ‘र’ के रूप, शब्द, पद और शब्द-भेद, संज्ञा और सर्वनाम, पद-भेद और रूप-विकार, लिंग, वचन, पुरुष और कारक, काल, वाच्य, वाक्य और वाक्य-भेद, संधि, समास, विलोम शब्द, पर्यायवाची शब्द, सामान्य अशुद्धियाँ, अनेक शब्दों के लिए एक शब्द, शब्द-भंडार, अपठित बोध, बहुविषयक सामग्री (विभिन्न अवधारणाओं से संबंधित सामग्री), वर्णमाला
  3. Section 1 | اردو زبان / Language (Urdu) — 22 Questions (Fixed): رسم الخط، حروفِ تہجی اور املا, اسم، ضمیر اور صفت, الفاظ، محاورے اور ضرب الامثال, تفہیمِ عبارت، انشا اور ترجمہ, تفہیم
  4. Section 1 | বাংলা ভাষা / Language (Bengali) — 22 Questions (Fixed): শব্দার্থ, বাগধারা ও ভাষাশুদ্ধি, বাক্য ও বাচ্য, শব্দগঠন ও শব্দভান্ডার, অনুবাদ, বোধপরীক্ষণ ও রচনা
  5. Section 1 | Language (English): Vocabulary, Noun, Subject Verb Agreement (Verb Noun Agreement), Adjectives, Verbs and Tenses, Pronoun, Verb, Adverb, Prepositions and Conjunctions, Parts of Speech, Determiner, Conjunction, Modals, Transformation of Sentences, Direct and Indirect Speech, Sentence Correction (Error Correction), Sentence Completion (Fill in the blanks), Sentence Construction, Sentence Structure and Common Errors, Reading Comprehension, Cloze Test (Cloze Passage), Verbal Analogy (Word Based Analogy), Facts, Inference and Judgements
  6. Section 2 | Primary Maths & Reasoning / प्राथमिक गणित एवं तर्कशक्ति: Ratio and Proportion / अनुपात और समानुपात, Divisibility Rules / विभाज्यता के नियम, Mixture and Alligation / मिश्रण और एलिगेशन, Permutation and Combination / क्रमचय और संचय, Number System / संख्या पद्धति, HCF and LCM / महत्तम समापवर्तक और लघुत्तम समापवर्त्य, Sequences, Series and Combinatorics / अनुक्रम, श्रेणी और संयोजन, Time, Speed and Distance / समय, चाल और दूरी, Series / श्रेणी, Coding-Decoding / कूट लेखन एवं कूट वाचन, Non-Verbal Reasoning / अशाब्दिक तर्क, Percentage / प्रतिशत, Average / औसत, Profit, Loss and Discount / लाभ, हानि और बट्टा, Simple and Compound Interest / साधारण और चक्रवृद्धि ब्याज, Time and Work / समय और कार्य, Solid Mensuration / घन क्षेत्रमिति, Age Problems / आयु संबंधी प्रश्न, Arithmetic / अंकगणित, Simplification, Indices and Surds / सरलीकरण, घातांक और करणी, Algebra / बीजगणित, Probability / प्रायिकता, Trigonometry / त्रिकोणमिति, Syllogisms / न्यायवाक्य, Seating Arrangement and Puzzles / बैठक व्यवस्था एवं पहेलियाँ, Blood Relations / रक्त संबंध, Direction and Distance / दिशा एवं दूरी, Analytical Reasoning (Counting Figures Reasoning) / विश्लेषणात्मक तर्क (आकृति गणना तर्क), Mathematical Operations and Missing Numbers / गणितीय संक्रियाएँ एवं लुप्त संख्या, Calendar and Clock / कैलेंडर एवं घड़ी, Clock / घड़ी, Cubes, Dice and Figure Counting / घन, पासा एवं आकृतियों की गिनती, Venn Diagrams, Syllogism and Inequalities / वेन आरेख, न्याय वाक्य एवं असमानता, Data Arrangement / आँकड़ों की व्यवस्था, Inequality / असमानता, Analogy and Classification / सादृश्यता एवं वर्गीकरण, Order and Ranking / क्रम एवं रैंकिंग, Sets, Relations, Functions and Discrete Mathematics / समुच्चय, संबंध, फलन और विविक्त गणित, Number Systems and Number Theory / संख्या पद्धति और संख्या सिद्धांत, Coordinate Geometry, Vectors and 3D Geometry / निर्देशांक ज्यामिति, सदिश और त्रिविमीय ज्यामिति, Polynomials, Equations and Complex Numbers / बहुपद, समीकरण और सम्मिश्र संख्याएँ
  7. Section 2 | General Awareness (GK + Current Affairs) / सामान्य जागरूकता (GK + समसामयिकी): Polity / राजव्यवस्था, Scientific Achievements and Research / वैज्ञानिक उपलब्धियाँ और अनुसंधान, Biology / जीव विज्ञान, State-Specific General Knowledge / राज्य विशेष सामान्य ज्ञान, Chemistry / रसायन विज्ञान, History / इतिहास, Geography / भूगोल, Indian Economy / भारतीय अर्थव्यवस्था, Environment / पर्यावरण, Current Affairs / समसामयिकी, Static General Knowledge / स्थैतिक सामान्य ज्ञान
  8. Section 3 | Computer System and Org. (CSO): Basics of COA, Floating Point Rep, Cache Memory Organization, Instr Formats & Modes, Programming the Basic Computer, Input Output Organisation, Register Transfer and Microoperations, Control Unit Design
  9. Section 3 | Database Management System: Basics of DBMS, ER Diagram, Relational Model & Functional Dependencies, Keys & Integrity Constraints, Normalization (1NF - BCNF), Decomposition Properties & 4NF, SQL, File Organization & Indexing, Relational Algebra, Relational Calculus, Transaction Management, Concurrency Control
  10. Section 3 | Operating System: Introduction to OS, Process Management, CPU Scheduling, Threads & Process Creation, Memory Management, Virtual Memory, Disc Scheduling, File Management, Process Synchronization
  11. Section 3 | Computer Networks: Introduction to CN, Data Communication, DLL: Access Control, DLL: Flow Control, DLL: Error Control, Data Link Layer - Ethernet, Net Layer: IPv4 & Proto, Net Layer: IP Addressing, Transport Layer Services, TL: Congestion & UDP, Application Layer, Hardware basics
  12. Section 3 | Data Structures: Introduction to DS, Array, Stack, Queue, Linked List, Tree, Graphs, Hashing, Algorithm Analysis, Time Complexity Analysis, Sorting Algorithms, Greedy Algorithms, Minimum Spanning Trees, Shortest Path Algos
  13. Section 3 | Theory Of Computation & Compiler Design: Introduction to TOC, Deterministic FA (DFA), Non-Deterministic FA, Regular Expressions, Grammar, Regular Language Properties, Moore & Mealy Machines, Pushdown Automata & CFG, Turing Machines, Intro to Compilers, Lexical Analysis, Grammar & CFG, Syntax Analysis: Top-Down, Syntax Analysis: Bottom-Up, Semantic Analysis & SDT, Intermediate Code Gen, Code Optimization
  14. Section 3 | Emerging Trends (AI, Societal Ethics & MS Office): Computer Fundamentals, Emerging Tech Trends, Society, Law & Ethics, MS Office Applications, Trade, Marketing and Consumer Protection / व्यापार, विपणन एवं उपभोक्ता संरक्षण, Cyber Safety and Security, Computer Software, Operating System, Computer Networks, Word Processing (MS Word), Terms & Abbreviations, Presentation Software (MS PowerPoint), Internet of Things, Cloud Computing
  15. Section 3 | Software Engineering: Fundamentals of Software Engineering, Software Requirements and Quality Assurance, Software Design, Estimation and Metrics, Software Maintenance and Configuration Management, Software Testing
  16. Section 3 | C Programming: C Fundamentals, Control Flow, Functions, Arrays & Pointers, Storage Classes, Structures & Enums, DMA, Macros, Scoping & File Handling
  17. Section 3 | OOPS, C++, JAVA, HTML: OOPS with C++, Java, HTML Basics, CSS
  18. Section 3 | Java: Java Fundamentals, Array, String, IO & References, OOPS with Java
  19. Section 3 | Python: Introduction to Python, Tokens, Variables, Data Types, I/O, Operators & Expressions, Control Flow & Looping, Collections & Strings, Functions & Modules, File Handling & Data Analysis
  20. Section 3 | Digital Electronics: Digital Systems & Boolean Basics, Logic Gates & Hardware, Boolean Expression, Boolean Minimization, Combinational Circuit, Sequential Circuits, Number System, Number Representation
  21. Section 3 | Multimedia: Multimedia
  22. BPSC Previous Year Papers:
  23. BPSC Full Mock Tests:
AI summary & chapters

AI Summary

An AI-generated summary of this video lecture.

This educational video lecture focuses on the theoretical concepts of ambiguity within the domain of Formal Languages and Automata Theory, specifically concerning Context-Free Grammars (CFGs). The session begins by introducing the concept of "inherently ambiguous" Context-Free Languages (CFLs). The on-screen text explains that a CFL is called inherently ambiguous if there exists no unambiguous Context-Free Grammar (CFG) capable of generating that specific language. This concept is attributed to a proof by Rohit Parikh in 1961. A concrete mathematical example is provided on the slide: the language defined as the union of two sets, `{a^n b^m c^m d^n} U {a^n b^n c^m d^m}`. Additionally, the slide presents a crucial rule regarding recursion: a grammar that is both left and right recursive is always ambiguous. However, it clarifies that the converse is not true; an ambiguous grammar does not necessarily have to be both left and right recursive.

The instructor then moves to a whiteboard to provide a formal definition of ambiguous grammar. The text on the board states: "The grammar G is said to be ambiguous if there more than one derivation tree for any input string." It further clarifies that if there exist more than one Leftmost Derivation Tree (LMDT) or Rightmost Derivation Tree (RMDT), the grammar is considered ambiguous. To illustrate this, the grammar `S -> aS/Sa/a` is written on the board. The instructor draws a diagram to visualize the concept, showing two different grammars, labeled AG1 and G2, both generating the same language L. He writes `AG1` and `G2` and draws arrows pointing to `L`, circling the grammars to emphasize that distinct grammars can produce the same language.

Later in the video, the presentation returns to the initial slide. The instructor uses a red marker to underline key phrases to emphasize their importance. He underlines "inherently ambiguous," "no unambiguous CFG," "corresponding CFL," and "Rohit Parikh 1961." He also underlines the sentence "Grammar which is both left and right recursive is always ambiguous." Finally, a new slide appears displaying a complex set of production rules: `S -> SAB / e`, `A -> AaB / a`, and `B -> AS / b`. The instructor writes `S -> SAB` and `S -> AAS` on the whiteboard, likely setting up an analysis of this specific grammar's properties.

Chapters

  1. 0:00 – 2:00 00:00-02:00

    The video opens with a slide defining "inherently ambiguous" CFLs, citing Rohit Parikh (1961) and the example `{a^n b^m c^m d^n} U {a^n b^n c^m d^m}`. It also states that left and right recursive grammars are always ambiguous. The instructor then switches to a whiteboard, defining ambiguous grammar as having more than one derivation tree (LMDT or RMDT) for an input string. He writes the example `S -> aS/Sa/a` and draws a diagram showing two grammars (AG1, G2) generating the same language L.

  2. 2:00 – 4:33 02:00-04:33

    The lecture returns to the slide, where the instructor underlines key terms like "inherently ambiguous," "no unambiguous CFG," and "Rohit Parikh 1961" to reinforce the definitions. He also underlines the rule about left and right recursive grammars. The session concludes with a new slide showing production rules `S -> SAB / e`, `A -> AaB / a`, `B -> AS / b`. The instructor writes `S -> SAB` and `S -> AAS` on the board, preparing to analyze this new grammar.

The lecture systematically builds the understanding of ambiguity by first defining inherent ambiguity in languages, then defining ambiguity in grammars, and finally providing examples and rules. It connects the theoretical proof by Rohit Parikh with practical definitions involving derivation trees and recursion, culminating in the analysis of specific production rules. The visual progression from slide text to whiteboard diagrams helps clarify the abstract concepts of derivation trees and language generation.

Loading lesson…