What is Inherently Ambiguous Grammar (2)

Duration: 5 min

This video lesson is available to enrolled students.

Return to /learn/SSC-JE-IMD-SCIENTIFIC-ASSISTANT-COMPUTER-SCIENCE/compiler-design/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. General Intelligence & Reasoning: Analogy, Non Verbal Reasoning (Spatial Aptitude) (Spatial Reasoning) (Visual Reasoning), Series (Number and Letter Series) (Numerical Relations and Reasoning), Coding Decoding, Blood Relations, Directions (Direction Test), Ranking, Order and Sequence, Logical Sequence Of Words, Syllogisms, Venn Diagram, Deductive and Inductive Reasoning (Logical Deduction and Induction) (Prepositional Reasoning), Selection Decision Table (Decision Making), Data Sufficiency, Puzzle Solving (Puzzles), Data Arrangement, Cubes & Dices, Calendar, Clock, Arithmetic, Number System, HCF LCM, Verbal Analogy (Word Based Analogy), Visual Recognition and Figure Completion, Paper Folding and Cutting, Transformation of Shapes, Clocks and Calendars, Direction Sense, Cubes and Dice, Patterns in Two-Dimensional Figures, Seating Arrangements, Analogy and Classification, Logical Deduction and Induction, Alphabet and Word Tests, Mathematical Operations, Series Completion, Simplification and Approximation, Coding and Decoding, Numerical Reasoning, Assembling and Grouping of Shapes, Three-Dimensional Patterns and Visualization, Vocabulary, Number System, Averages, Mixtures and Alligation, Simple and Compound Interest, Percentages, Algebra, Speed, Time and Distance, Seating and Arrangement Puzzles, Traverse Surveying, Order, Ranking and Sequence, Constraint Puzzles, Syllogisms and Venn Diagrams, Reading Comprehension, Critical Reasoning, Permutations and Combinations, Narrative Sequencing, Project Monitoring, Resources and Safety, Profit, Loss and Discount, Ratio and Proportion, Time and Work, Mensuration, Data Interpretation, Powers, Surds and Logarithms, Sequences and Series, Articles and Determiners, Sentence Completion, Data Sufficiency, Blood Relations, Simple Interest and Compound Interest, Mixture and Alligation, Sequence and Series (Series), Speed Time and Distance, Algebra, Profit and Loss, Powers and Exponents (Surds and Indices), Permutation and Combination
  2. General Awareness: Physics, Chemistry, Biology, History, Geography, Polity, Indian Economy, Environment, Static General Knowledge, GK- Current Affairs, Artificial Intelligence, MS Office Applications, Terms & Abbreviations, Keyboard Shortcuts, Evolution of Indian Banking (Banking & Financial Awareness), Emerging Tech Trends
  3. Engineering Mathematics: Set Theory, Relations, Functions, Graph Theory, Group Theory, Propositional and Predicate Logic, Linear Algebra, Calculus, Probability, Statistics, Signal Space and Optimum Detection, Probability, Statistics
  4. Digital Logic: Digital Systems & Boolean Basics, Logic Gates & Hardware, Boolean Expression, Boolean Minimization, Combinational Circuit, Sequential Circuits, Number System, Number Representation, Floating Point Rep, Number Systems and Codes, Registers and Counters, Boolean Algebra and Logic Gates, Microprocessors and Microcontrollers, Logic Families and CMOS Logic, Microprocessors, Logic Gates and Boolean Algebra, Minimization of Boolean Functions, Timing, Hazards and Testing, Logic Families, Combinational Logic Design, Arithmetic Circuits, Waveform Generators and Timer Circuits, Semiconductor Memories and Programmable Logic Devices, Combinational Logic Circuits, Latches and Flip-Flops, Finite State Machines, Sequential Circuits and State Machines, Minimization of Boolean Functions, Arithmetic Circuits, Latches and Flip-Flops, Number Systems and Codes, Registers and Counters
  5. Computer Organisation & Architecture: Basics of COA, Cache Memory Organization, Input Output Organisation, Pipelining, Instr Formats & Modes, Control Unit Design, Programming the Basic Computer, Register Transfer and Microoperations, Semiconductor Memories and Programmable Logic, Processor Organization and Instructions, Memory Hierarchy and Input/Output, Registers and Counters
  6. Programming & Data Structures: C Fundamentals, Control Flow, Functions, Arrays & Pointers, Storage Classes, Structures & Enums, DMA, Macros, Scoping & File Handling, Introduction to DS, Array, Stack, Queue, Linked List, Tree, Graphs, Hashing, HTML Basics, OOPS with C++, Java, Object Oriented Technology
  7. Databases: Basics of DBMS, ER Diagram, Relational Model & Functional Dependencies, Keys & Integrity Constraints, Normalization (1NF - BCNF), Decomposition Properties & 4NF, File Organization & Indexing, Relational Algebra, SQL, Relational Calculus, Transaction Management, Concurrency Control, Database Recovery, Database Security & Authorization
  8. Algorithms: Algorithm Analysis, Time Complexity Analysis, Sorting Algorithms, Greedy Algorithms, Dynamic Programming, Minimum Spanning Trees, Shortest Path Algos
  9. Theory of Computation: Introduction to TOC, Deterministic FA (DFA), Non-Deterministic FA, Regular Expressions, Grammar, Regular Language Properties, Moore & Mealy Machines, Pushdown Automata & CFG, Turing Machines, Complexity Theory
  10. Compiler Design: Intro to Compilers, Lexical Analysis, Grammar & CFG, Syntax Analysis: Top-Down, Syntax Analysis: Bottom-Up, Semantic Analysis & SDT, Intermediate Code Gen, Code Optimization, Run Time Environment
  11. Operating System: Introduction to OS, Process Management, CPU Scheduling, Process Synchronization, Threads & Process Creation, Deadlock, Memory Management, Virtual Memory, Disc Scheduling, File Management, Security, Windows OS, Distributed Systems, Unix OS, Linux OS
  12. Computer Networks: Introduction to CN, DLL: Access Control, DLL: Flow Control, DLL: Error Control, DLL: Framing, Data Link Layer - Ethernet, Net Layer: IPv4 & Proto, Net Layer: IP Addressing, Net Layer:Routing Protocol, Transport Layer Services, TL: Congestion & UDP, Application Layer, Hardware Basics, Data Communication, Website, Browser & Services, Web Design & Development, Network Security, Cyber Threats and Malware Attacks, Cyber Safety and Security
  13. Full Length Mock Tests:
  14. Sectional Tests:
  15. Paper 2 - Full-length 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…