פישוט דקדוקים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( 236353) תרגיל מספר 10.

Slides:

Advertisements

Similar presentations

Reflexive example: AB = AB Symmetric example: AB = BA

Advertisements

L ECTURE 3 T HEORY OF AUTOMATA. E QUIVALENT R EGULAR E XPRESSIONS Definition Two regular expressions are said to be equivalent if they generate the same.

AB 11 22 33 44 55 66 77 88 99 10  20  19  18  17  16  15  14  13  12  11  21  22  23  24  25  26  27  28.

צורה נורמלית של גרייבך הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.

Strings and Languages Operations

אוטומט מחסנית הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 11.

א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.

א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.

צורות נורמליות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 10.

א " ב, מילים, ושפות הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 1.

הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)

בנייה ופישוט דקדוקים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 9.

Algebraic Properties: The Rules of Algebra Be Cool - Follow The Rules!

Special Products Section 6.4. Find the product. (x + 2)(x + 2) (x + 3)(x + 3)

Blood Type Booklet.

Lexical Analysis CSE 340 – Principles of Programming Languages Fall 2015 Adam Doupé Arizona State University

CONVERTING TO CHOMSKY NORMAL FORM

Drill #2 Evaluate each expression if a = 6, b = ½, and c =

Integers and Properties

Properties of Addition and Multiplication. Commutative Property In the sum you can add the numbers in any order. a+b = b+a In the product you can multiply.

Introduction to Theory of Automata By: Wasim Ahmad Khan.

Grammar G = (V N, V T, P, S) –V N : Nonterminal symbols –V T : Terminal symbols V N  V T = , V N ∪ V T = V – P : a finite set of production rules α 

Properties and Mental Computation p. 80. Math talk What are some math properties that we use? Why do you think we have them? Do you ever use them?

I can use a number line to graph and order real numbers. I can identify properties of and use operations with real numbers.

1.3 – Properties of Real Numbers. Real Numbers 1.3 – Properties of Real Numbers.

(2 + 1) + 4 = 2 + (1 + 4) Associative Property of Addition.

Special Factoring. Difference of Squares General Formula: (x) 2 – (y) 2 = (x + y)(x – y)

The Distributive Property

? Fractional and negative powers BAA* Bingo Summary of questions Bingo Answers.

PROPERTIES OF REAL NUMBERS. COMMUTATIVE PROPERTY OF ADDITION What it means We can add numbers in any order Numeric Example Algebraic Example

Figure **: Adjusted average student learning score against unit cost Unit Cost (fcfa) Average adjusted student learning score.

Holt McDougal Algebra Multiplying Polynomials Multiply polynomials. Use binomial expansion to expand binomial expressions that are raised to positive.

by D. Fisher (2 + 1) + 4 = 2 + (1 + 4) Associative Property of Addition 1.

(2 + 1) + 4 = 2 + (1 + 4) Associative Property of Addition.

Binary Relations Definition: A binary relation R from a set A to a set B is a subset R ⊆ A × B. Example: Let A = { 0, 1,2 } and B = {a,b} {( 0, a), (

Boolean Algebra. Laws of Boolean Algebra Commutative LawExpression Addition: A + B = B + A Multiplication: A B = B A Associative Addition: A + (B+C) =

1 Strings and Languages Lecture 2-3 Ref. Handout p12-17.

Lecture 03: Theory of Automata:2014 Asif Nawaz Theory of Automata.

1 1. Eliminate all  -transitions from the following FA without changing the number of states and the language accepted by the automaton. You should also.

8.2 Supplementary Angles Definitions: 1. Opposite Rays: rays that extend in opposite directions. 2. Straight Angle: Angle that measures 180  3. Supplementary.

COP4620 – Programming Language Translators Dr. Manuel E. Bermudez

Theory of Computation Lecture #

Who Wants To Be A Millionaire?

Regular Languages, Regular Operations, Closure

Grammars Module 03.2 COP4020 – Programming Language Concepts Dr. Manuel E. Bermudez.

Drill #3 Evaluate each expression if a = 6, b = ½, and c =

PROGRAMMING LANGUAGES

Algebra substitution.

הפקולטה למדעי המחשב אוטומטים ושפות פורמליות (236353)

تصنيف التفاعلات الكيميائية

Boolean Algebra.

Recap lecture 29 Example of prefixes of a language, Theorem: pref(Q in R) is regular, proof, example, Decidablity, deciding whether two languages are equivalent.

The General Triangle C B A.

Similar Right Triangles: Geometric Mean

Jeopardy Slopes and Lines Exponents Radicals $100 $ $100 $100

Математици-юбиляри.

Reading: ‘Washington, DC’

The General Triangle C B A.

Got the E B G Bs and I can’t sit still

Algebraic Identities intro

Properties of Numbers Lesson 1-3.

CSC102 - Discrete Structures (Discrete Mathematics) Set Operations

Line and Angle Relationships

Practice makes perfect!

BETONLINEBETONLINE A·+A·+

Matrices - Operations MULTIPLICATION OF MATRICES

Properties of Real Numbers

Properties of Numbers Review Problems.

Presentation transcript:

פישוט דקדוקים הפקולטה למדעי המחשב אוטומטים ושפות פורמליות ( ) תרגיל מספר 10

© אריאל & רותם 2 שלבי הפישוט 1. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית. b. זריקה משתנים שאינם ניתנים להשגה ממשתנה התחלתי. 2. ביטול חוקי - . 3. זריקת משתנים מיותרים. 4. ביטול חוקי יחידה. 5. זריקת משתנים מיותרים.

© אריאל & רותם 3 דוגמא 9.E  CaD 10.E  FDaJ 11.F  D 12.F  C 13.H  aBC 14.H  bH 15.I  aab 16.E  a 1. S  Aa 2. A  Ab 3. A  BC 4. B  ε 5. B  BBAa 6. B  I 7. C  ε 8. A  EaD פשטו את הדקדוק הבא :

© אריאל & רותם 4 דוגמא – המשך 9.E  CaD 10.E  FDaJ 11.F  D 12.F  C 13.H  aBC 14.H  bH 15.I  aab 16.E  a 1. S  Aa 2. A  Ab 3. A  BC 4. B  ε 5. B  BBAa 6. B  I 7. C  ε 8. A  EaD 1. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית :

© אריאל & רותם 5 דוגמא – המשך 7.C  ε 8.F  C 9.H  aBC 10.H  bH 11.I  aab 12.E  a 1. S  Aa 2. A  Ab 3. A  BC 4. B  ε 5. B  BBAa 6. B  I b. זריקת משתנים שאינם ניתנים להשגה מ - S:

© אריאל & רותם 6 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | BC | B | C 3. B  BBAa | BAa | Aa | a | BBa | Ba | I 4. I  aab 2. ביטול חוקי -  :

© אריאל & רותם 7 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | BC | B | C 3. B  BBAa | BAa | Aa | a | BBa | Ba | I 4. I  aab 3. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית :

© אריאל & רותם 8 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | B 3. B  BBAa | BAa | Aa | a | BBa | Ba | I 4. I  aab b. זריקת משתנים שאינם ניתנים להשגה מ - S: אין כאלה

© אריאל & רותם 9 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aab 3. B  BBAa | BAa | Aa | a | BBa | Ba | aab 4. I  aab 4. ביטול חוקי יחידה :

© אריאל & רותם 10 דוגמא – המשך 1. S  Aa | a 2. A  Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aab 3. B  BBAa | BAa | Aa | a | BBa | Ba | aab 4. I  aab 5. זריקת משתנים מיותרים : a. זריקת משתנים שאינם ניתנים לגזירה טרמינלית : אין כאלה

© אריאל & רותם 11 דוגמא – סוף 1. S  Aa | a 2. A  Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aab 3. B  BBAa | BAa | Aa | a | BBa | Ba | aab 4. I  aab b. זריקת משתנים שאינם ניתנים להשגה מ - S: וקיבלנו את הדקדוק המפושט !