בנייה ופישוט דקדוקים

  • View
    42

  • Download
    6

Embed Size (px)

DESCRIPTION

. 9. (236353). 1. : L = {( ab) n c 3n |n 0 }. : : G = S abSccc | . 2. - PowerPoint PPT Presentation

Transcript

  • (236353) 9

  • 1 : L = {(ab)nc3n|n 0 }::G = S abSccc |

  • 2 : L = {anbamban+m|n,m 0 }::G = A aAa | bB B aBa | b

  • -

  • E CaDE FDaJF DF CH aBCH bHI aabE a

    S AaA AbA BCB B BBAaB IC A EaD :

  • 1: E CaDE FDaJF DF CH aBCH bHI aabE a

    S AaA AbA BCB B BBAaB IC A EaD :

  • 1:

    C F CH aBCH bHI aabE a

    S AaA AbA BCB B BBAaB I

    - S: :SAB CI

  • 2: -

    -:S AaA AbA BCB B BBAaB IC I aab :B CA| a| b| B | C| BAa | Aa | a | BBa | Ba

  • 3:

    S Aa | aA Ab | b | BC | B | CB BBAa | BAa | Aa | a | BBa | Ba | II aab :

  • 3:

    S Aa | aA Ab | b | BB BBAa | BAa | Aa | a | BBa | Ba | II aab

    - S:

  • 4: S Aa | aA Ab | b | BB BBAa | BAa | Aa | a | BBa | Ba | II aabBBAa | BAa | Aa | a | BBa | Ba | Iaabaab

  • 5:

    S Aa | aA Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aabB BBAa | BAa | Aa | a | BBa | Ba | aabI aab :

  • 5:

    S Aa | aA Ab | b | BBAa | BAa | Aa | a | BBa | Ba | aabB BBAa | BAa | Aa | a | BBa | Ba | aabI aab

    - S: !

    Should ask whether proof is needed.