2. Convert the following CFG into an equivalent CFG in Chomsky normal form, using the procedure given in Theorem 2.9. A → BAB | B& B → 00 | E

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
DEFINITION 2.8
A context-free grammar is in Chomsky normal form if every rule is
of the form
A → BC
A → a
where a is any terminal and A, B, and C are any variables-except
that B and C may not be the start variable. In addition, we permit
the rule Se, where S is the start variable.
Example
SASA aB
A BS
B→ be
So → S
S → ASA | aB
ABIS
B → be
So S
SASA | aBa|SA|AS| S
ABS
B-b
So ASA| aBa|SA| AS
SASA aBa|SA| AS
ABS b
B-b
So S
SASA aB a
ABSC
B-be
A₁
So SASA | aBa|SA| AS
SASA aBa|SA| AS
A → B|S
B-b
So ASA aBa|SA| AS
SASA aBa| SA AS
A → Sb ASA | aBa|SA| AS
B-b
So AA₁ |UB|a|SA| AS
SAA₁ |UB|a|SA| AS
Ab AA₁ |UB|a|SA| AS
SA
U → a
B→ b
So S
SASA | aBa|SA|AS| S
A → B Se
B-b
Transcribed Image Text:DEFINITION 2.8 A context-free grammar is in Chomsky normal form if every rule is of the form A → BC A → a where a is any terminal and A, B, and C are any variables-except that B and C may not be the start variable. In addition, we permit the rule Se, where S is the start variable. Example SASA aB A BS B→ be So → S S → ASA | aB ABIS B → be So S SASA | aBa|SA|AS| S ABS B-b So ASA| aBa|SA| AS SASA aBa|SA| AS ABS b B-b So S SASA aB a ABSC B-be A₁ So SASA | aBa|SA| AS SASA aBa|SA| AS A → B|S B-b So ASA aBa|SA| AS SASA aBa| SA AS A → Sb ASA | aBa|SA| AS B-b So AA₁ |UB|a|SA| AS SAA₁ |UB|a|SA| AS Ab AA₁ |UB|a|SA| AS SA U → a B→ b So S SASA | aBa|SA|AS| S A → B Se B-b
2. Convert the following CFG into an equivalent CFG in Chomsky normal form, using
the procedure given in Theorem 2.9.
A → BAB | B &
B → 00 | E
Transcribed Image Text:2. Convert the following CFG into an equivalent CFG in Chomsky normal form, using the procedure given in Theorem 2.9. A → BAB | B & B → 00 | E
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps

Blurred answer
Knowledge Booster
Fundamentals of Boolean Algebra and Digital Logics
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education