male Vorksung

(1)

Auto mateutheorie & ^For

male

_Spraoheu

3.

Vorksung

Steffen

Reith

2.5.48

(2)

problem

Ziel ^: Eu

Algorithms

^, ^do

fir

^ein

Eiugabewortw eutscheidet

_, ob we LCG

) fui

^line ^Grammatik ^G.

PROBLEM ^: MEMBER

EINGABE ^: Grammatik G und _ein Wortw

FRAGE ^: Gilt ^we ^L ( _G) ^?

Dieses

Problem

^ist ^als Wort

problem

^bekauut ^.

sate ⁶

gibteineu Algorithms

^, ^do ^das

^Wort ^problem fui

Typl

^-

^Grammatik

^en

^list

^.

(3)

Bewiisibeo

:

Bei

houtextseusitiveu

Produhtioueu

^u→v

gilt

^inner ^lultlol

Dies bewirht _, class die _a Zwischeuschvilfe ^" ^uicht

uschrumpfeu

^" ^.

Sci G= ( ^Z _, ^N _, Pis⁾ line

Typl

^- ^Grammatik ^und ^n.me ^IN ^, ^dauu

defiuieruwir

Tin

⁼ _deg

²

^we

⁽ ZUNPISEW

ⁱⁿ

fmschrilten

und lwl In

}

(4)

Langen

^, ^die ^dwch ^linen

Ableituugsschrittozeugt

^werdeu

women ^:

Abln ⁽

^X

) =aefXu{

^we ^{CZUNYIW 't} ^w

fioeinw ^'eX

und lwl Eu

}

Die Meugeu

The

^hauu ^man ^indnhtiv

_an

_,

* :

gewiuuen

^. ^. i ^:

"

(

^IA

⁾

^T

!

⁼

^{LS }}

_a ^Start

_symbol

.

. i

(

^is

)

^T^"m+.

=

Ablnltm

^"

) neinschritt

^s

mehr ^" Tn^"

T ^"

Y

. ^. ^T ^" ²

' 3 ^- _n

UTY

,

=Ii=Tm"

+_.

=Ihi=

. ... .

in :

(5)

Man hauu eiuseheu _, class ^nor endlich viele Work do

Lange

Êu îibv ^Z ÛN ^lxistioen ^.

" Fixpunht ^"

Dawit

wyf

êin ^no Ê ÎN êxistioeu ûnit

^X=fCx

⁾

Tuio

⁼

Two

...

=Tm"o+z

⁼ . ... ( _"

Fixpuuht

^"

^/

^Hille ^vous

⁾

Dawit

gilt

^WE ^L

⁽ ^G)

^, ^lwkn

geuandauu

^, ^weuu

we

t.f.TL

^, ^d. ^h ^. ^das ^Wort

^problem

^kauu ^dwch

folgendeu Algorithms gehistwerdeu

^:

Eingabe^: ^Grammatik ^G ^und ^Wort ^w

Crgebnisii

true _, ^weun ^we LCG

)

^und

_false

^soust

(6)

;

repeat

Told ^=T _;

T= Ablu ⁽ Told

)i

until

( ( weft ) &&(

Tt

Too ) )

_;

if ⁽

^we ^TH^then

return true _;

else

return

false

eudif

^.

(7)

Bsf

^: ^Sci ^die ^Grammatik ^G ⁼ ⁽ ^La^,^b. ^c ^}^, ^ZS^, ^B ^} ^, ^LS ^→ ^a ^SBC ^,

S ^→ ^abc _, CB ^→ ^Bc _, BB ^→ bb } _, ^S

)

_gegebeu^.

Delche Work do

Large

¹⁴ ^ex ^. ⁱⁿ ^LCG ⁾ ^,

^Durch Auweuduug

^uou

Ably

C. D ^ugibt

^sick

To

^" ⁼ ^{25 }}

Ti ^' ^-

2S•

^as ^Be _, ^abc

}

Tz4 ⁼ ^{ ^S , as Bc _, abc } ⁼

Tj

^' ⁼

Ti

^'

-554=-3

.

{ udliuhe Automate

^&

regulate ^sprachen

Ziel ^:

Bane Erheuuo fiv ^Typ3

^-

^Spracheu ⁽

^schnelle ^!

⁾

(8)

(

^hut ^: DEA odo

DFA :-)

ist ein 5-

Topel

^M=( ^Z ^,

^-2,5

^, ^Zo ^,

E)

• Z ^- _eudliche Menge ^do

Zustande

.

Z

^- das

Alphabet

^Zn ^-2=0

.

S

^-

liberfihruugsfht

^wit ^S ^: ^{Zx -2} ^→ ^Z

• Zo ^- do Start ^zustaud _, ^wobei ZOEZ

° E ^-

MeugedrEudZustcindeDieerweitutelibufihruugsfhtSiZxEHEwirdindnhtivwicfolgtdefiuiotyAjfLz.d-aeft@ftt.aw

)

⁼

fflz

^, ^a⁾ _, ^w

)

(9)

fair

âlle âe ^Z ^, ^WEE ^* ând ^zeZ

Die von M

ahteptivte

^Sprache ^istdauu

LCM) =L ^we

-2*1 cftto

_, w) ^c- ^I

}

Bet ^Die ^Funhtiou

^S ^ist inner ^total ^.

male Vorksung

male

Vorksung

Reith

problem

Algorithms

fir

Eiugabewortw eutscheidet

) fui

Problem

problem

gibteineu Algorithms

Wort problem fui

Typl

Grammatik

list

Bewiisibeo

Bei

Produhtioueu

gilt

uschrumpfeu

Typl

defiuieruwir

Tin

2

( ZUNPISEW

fmschrilten

}

Langen

Ableituugsschrittozeugt

Abln (

) =aefXu{

fioeinw 'eX

}

The

an

gewiuuen

(

)

!

LS }

symbol

(

)

Ablnltm

) neinschritt

Y

UTY

=Ii=Tm"

=Ihi=

Lange

wyf

X=fCx

Tuio

Two

=Tm"o+z

Fixpuuht

/

)

gilt

( G)

geuandauu

t.f.TL

problem

folgendeu Algorithms gehistwerdeu

Crgebnisii

)

false

repeat

)i

( ( weft ) &&(

Too ) )

if (

false

eudif

Bsf

)

Large

Durch Auweuduug

Ably

^Wort ^problem fui

^Grammatik

^list

²

⁽ ZUNPISEW

Abln ⁽

fioeinw ^'eX

_an

⁾

^{LS }}

_symbol

^X=fCx

^/

⁾

⁽ ^G)

^problem

_false

if ⁽

^Durch Auweuduug

C. D ^ugibt

regulate ^sprachen

Bane Erheuuo fiv ^Typ3

^Spracheu ⁽

⁾

^-2,5

Bet ^Die ^Funhtiou