espracheu 13.6.18

(1)

Auto

makutheorie &

Formal espracheu

7.

Vorlesung

Steffen ^Reith

13.6.18

(2)

3.2 . Das

Pumping

^Lemma

f

^.

@

kuutextfreiesprachen

Sate ⁽ _Pumping

^Lemma _,

uuwxy

^- ^Theorem

⁾

Sci L _ein

koutextfreic Spraehe

^, ^dauu ^ex ^. ^ein ^new ^,

sodap

^side âlle ^Woarter ^ZEL ûnit ÎZI ^>ⁱⁿ

zukgeu

lassen in ^Z ⁼

uvwxy

^, ^wobei

i_,

lvxlsd

ii_, lvwxl En

iii ,

Finale

^ieln

gilt uviwxigel

Beueis

⁽ Shizze

! )

^: ⁰ ^.B^. ^d. ^A ^. sci G ^nine

Grammatik

(3)

in

Chomsky

^- ^Normal

form

^unit ^L=L(

^G)

^. ²

⇒ AHe

Ableituugsbaiemesind Binarboiume

.

Graphiscl

^: ^• ^s

-

Binarbaum ^-

&t.f%

"

fIBa[

Z

y

^← ^"

^Blaltebeue

"

lehto

Ableituugsschritt

sci do

Pfad

^"

_lang

^" _geuug ^, ^{d. h} ^. 2 ^#

he

Nichttowinak

,

dann

wicderholt ^sick

auf

^linen

^Pfad

^ein ^Nicht ^terminal

⁽

^o ^. ^B. ^d. ^A

si dies

A)

^⇒

Schubfachsehlup

Also

^:

(4)

s

Daun ^Weirauch s

thy www.T.w

_y

^all an

^.^,

w

miglich

- in

s ^u y

nudes geht ^ouch ^⇒

uv°wx°y

^EL

¥1

^.

naf¢×igg KI

^⇒

^uvvwxxy ^=uv2ux2y

^EL

www.T

(5)

4

Oiederholung

^dies

Verschachteluug liefvt uviwxig

^EL

fir

âlle îe ÎN ^.

^#

Bspfi

^Die

Sprain

^a^" ^b ^"c ^"

fui

ⁿ ^> ^it ^ist

nichtkoutextfrei

Auuahme

^: List

houtextpui

^,

dauugibtesuaeh

^dem ^Pumping

Lemma ^lin ⁿ _, so class

fiv

^alle ^Waiter ^Z ⁼ ^a ^" ^bmcm ^, ^mm

und _IZI _> _in line

terlegung

ⁱⁿ ^Z ⁼

_uvwxy

^existiot ^wit

den

Eigeuschaften is ^, ⁱⁱ, und

iii.

Speziell

^wine ^a ^" ^b ^"o ^" ^do

Large

^3h

Degen Cigeuschaft

ⁱⁱ, hauu _vwx and damit vx uichtalle drei Arten von Buchstabeu

umfasseu

^.

(6)

5

6 gilt

^abu ^auch

^lvxl

⁷¹

⁽ Cigeuschafti ⁾

^.

6

gilt ^wegeu ^iiig

^, ^class

^uv°wx°g ^uwy

⁼ ^EL

D. h ^. mindeskus line Art

Buchstabeu

ⁱⁿ

uwy

^haunt

kaiifjer

vor als ^die and _even

Arteu

^Gp

Wider _spruch

^da ^liu ^sokhes

Wort uicht in L ist .

Folgeruugin

By

^c. ^a

⇒ Es

gibt

^koutext ^sensitive

^Spracheu

^die ^uioht

koutextfrei

^sind

(7)

3.3 . Der CYK ^.

Algorithms

6

Ziel ^" Sucheu linen _" Schueller ^"

Algorithms

^do ^does

Wort

problem fir koutextfeie ^Spracheu

^list ^.

⇒ CYK ^-

Algorithms ⁽ ^beuaunt

^nach

Gocke

^,

Longer

und

tasami )

Idee ^: Nissen _, class

fiv jide ^Typ

^Zeine

eutsprecheude

Grammatik ⁱⁿ

Chomsky

^Normal

form ^existivt

Dawit ^"

-

Waiter

do

Langel

^: ^G ^hommtuw ^ein

Regel

^do

^Form ^A

^→ ^a ⁱⁿ

Frage

(8)

2

- Dirk

linger

^alsl ^: ^Weuu

gilt

^A ^¥ ^× ^,

dauu wurde in usteu Schmitt line Regel do Form ^A ^→ BC

augeweudet

⇒ Wean ×= ae ^. ^. ^- ^an , dauu wind ein

Teil ^von ^× dwoh B and liner dwahc

uzeugt

⇒ G ump ^liu ^lek ^< ⁿ

gebem

^, ^so ^deep

• A

B•/\oc

woist

. Pay { ^!@÷.an

Xnk ^Xu

"n

, n ^- k

espracheu 13.6.18

Auto

Formal espracheu

Vorlesung

13.6.18

Pumping

f

@

kuutextfreiesprachen

Sate ( Pumping

uuwxy

)

koutextfreic Spraehe

sodap

zukgeu

uvwxy

lvxlsd

Finale

gilt uviwxigel

Beueis

! )

Grammatik

Chomsky

form

G)

Ableituugsbaiemesind Binarboiume

Graphiscl

&t.f%

fIBa[

y

Blaltebeue

Ableituugsschritt

Pfad

lang

he

dann

auf

Pfad

(

A)

Schubfachsehlup

Also

thy www.T.w

all an

miglich

uv°wx°y

¥1

naf¢×igg KI

uvvwxxy =uv2ux2y

www.T

Oiederholung

Verschachteluug liefvt uviwxig

fir

#

Bspfi

Sprain

fui

nichtkoutextfrei

Auuahme

houtextpui

dauugibtesuaeh

fiv

terlegung

uvwxy

den

iii.

Speziell

Large

Degen Cigeuschaft

umfasseu

6 gilt

lvxl

( Cigeuschafti )

gilt wegeu iiig

uv°wx°g uwy

Buchstabeu

uwy

kaiifjer

Arteu

Wider spruch

Sate ⁽ _Pumping

⁾

^G)

^Blaltebeue

_lang

^Pfad

⁽

^all an

^uvvwxxy ^=uv2ux2y

^#

_uvwxy

^lvxl

⁽ Cigeuschafti ⁾

gilt ^wegeu ^iiig

^uv°wx°g ^uwy

Wider _spruch

^Spracheu

problem fir koutextfeie ^Spracheu

Algorithms ⁽ ^beuaunt

fiv jide ^Typ

form ^existivt

^Form ^A

. Pay { ^!@÷.an