Fragestoude Steffi

Fragestoude

13.7.18

Steffi ^Reith

Pumping ^@

Zm 3in

Bah ^: _sci L ^-

Zogmqbnadm

> 0 }

, dauu ^{ist L} _uicht

regular^.

Is ¥4,42

Be ^{: Auuahwe : List} regular

tHcuo@DauugittdeasPumpiugLemmafuireguleireSpraoheuuud.w

} Samit ex ^. eiu new wit

Cigeuschafteu

sf¥qIEEmIigI"

in

:!miI¥¥E¥

schwofwdhlex.hn

( ist ^ok _, ^Weil

1×155

)

let _Zerlegung ^{: ×= a " b " =uvw}

to

• Da luvlen bestehf ^{uv murans a 's} !

V -8

gt| §

"

mad "£ _:b

" " " " " ↳ " " " "

z ^{Daun map} uviw

, ie IN in L Sein _, also

lxla ^¥ _{lxlb ,} ^{weuu i¥1} . Wickrsproeh ^deuu

uviwcfl

-→ Auuahue ^War falsch

⇒ List uicht regular ^#

PLfuilyp-z.nu

3

i , lvwxl ^In

4¥

ii, lvxl 71 →

uidetsosiii ^uvigwxigy

tile ^.int

ludnhtive.DE#

Addition

defiwimu (A)

(b) ^{add ( X.}

g)

Sci G= ( ²a.

}

be

}

S, Z

,X,y

4

S ^{→ Z} _,

P={

XY

, X ^{→ ab} _, Y ^{→ CY} _, Y ^{→ c} }

L (G) ^{a { we { a} ,b, c } ^* / _W ⁼ _a ^" _b ^" _cm }

Chomsky ^{NF : X - > Y} _, ^{Y → c}

e- ⇒ ×→c

iy Terminate eiseheu kelkuvegel

⇒ Neue Nichttowinale einfiihveu ^{Rx , XEE}

Hiv ^: Ra_, Rs ^: Rc

kelte

P

'=2S→z

, 2- ^→ XY

, × → Rax Rs ,X→RaRb^{, 9 → Rid} _,

Y ^→ c _, Ra→a , Rb ^→ _b. ^{Re → c}

}

5

• kelteuregelueutfuueu^:

it

÷

tie q It

% ^{X. → a}

kelte

P

'=2s→z

, x→Ra×Rs

,X→RaRb

^{X→RaRs,Y→c}

^}

Re ^{→ a} }

6 P "={ ^{S →} XY _, × ^→ RAXRS _,

X→RaRs,Y→c

Re ^{→ a} }

iii , Regehr ^{hirzeu wit neueu} Nichttomiualeu De, Dy^{. . .}

P^" _,

'={s→Xy

, D. ^→ XRB _, X→RaRb _,

Y ^{→ c} _, Ra ^{-> a}, Rbisb _, Re → c }

P^" '={s→Xy _, ^{X →} _Rada

, D. ^→ XRB _, X→RaRb ,

@

Y→c _, Ra→a , Rbisb _, Re→c }

Istaabbcel ? _os

# ^go

a a b b c

/ !ar;r;o←t

^{; :*}

, da

Laing ⁰¹

#

⁾

Lange ^{4 s}

Post

/

( 5in )

Z

s

#

q£b t*...1*..*%€

0¥00

^s→az

^{X→b3 |X→yb}

X→b _Types

L@

X→b9 d

Y

→ by 582 Parser ^←

y ^→ b

¥

.mil#tnYiIEr2BEiiiE

(

"

www.otouhaoan.IL?iAnskomueutivt

# eudif _" ^Terminalsymbol