Formal espracheu

(1)

Auto

makutheorie &

Formal espracheu

7 ^.

Vorlesuug

Steffen

Reith

30.5.18

(2)

2.5 .

Das Pumping

^Lemma

@

Ziel ^:

Zeige

^does ^line

^gegebeue Sprake ^wield regular

^ist ^.

Was ist wit do

sprain

^a

^"b

^" ^?

Dissen G ⁼

(

2 â _,b } _, { s } _, { ^S ^→ âb _, ^S ^→ âs ^b ^} , S

)

erzeugt

â ^" ^b ^" ând îst ^von

Typ2

^. Gehtdasanch unit

Typ

³

^?

Satan (

Pumping

lemma /

^uvw ^- ^Theorem

)

Sci L line

regulate ^Sprache

, dauu ex . lin ^he IN ^so _, dass sick ^alle

Darter

xel unit 1×1> in

zerlegeu

^lassen ⁱⁿ ^× ⁼ ^uuw ^,

sodass die

folgendeu Eigeusohafhn ufitltsindi

^.

(3)

2

is ^" ^" ⁱ

starlit

.ua

ii , luvl En

iii , Finale ^it ^IN

gilt

^:

^uviwe

^L

Bend

^Das

Pumping

^Lemma ^ist ^eiue ^,^, ^Weuu ^. ^dauu ^" ^-

_Aussage

#

^Nein ^!

do Form _,

, L

regular

^⇒

^Fire

ÎN ^tx ⁼ ûvw ÊL ^,

1×1 > in

, lvl ^> it

, luul Eu

gilt

^tie ⁱⁿ

^uviwel

^"

Benoit Da

^L

regular

^ist ^,

gibt

^es ^linen ^DEA ^M ^wit

L= ^LCM

)

^. ^Wir

legeu fist

n=µf ^# ^Z ⁽

Autuhl

^do

Zustaude von M) .

Sci nun x ein

bet

.

Wort

^wit xel

and

1×1 > in .

(4)

BeimAbarbeiteuvouxbesuchtMgeuau1xltlZustahude@lStartzustandwihoihlenlfDalxl7nK8nneudiiseZustandehichtalleverschiedeuseinCSchubfaehschluP.d.h

. windesteus _ein Zustaud ^weird

•#

doppeltbesucht

^: ^I ^•

" schleife^"

# y}v

a zo

y•

^• ^Ende

&

^>^• ^{> •}

↳ ^gogan

_{z ,} ^{> •} ^>^• ^>^• ^i. ^o

→

on

-14711 ^Zs=£Czo

^hack^Uirwahleu^Leseu ^die^non

^Zerlegung

û ândÛ ûu^von^- ^-

^gleich

^- ^- ^x=^. ^-^,^.

^a)

^wuw^ist⁼

^§(

^, ^so^Zo^, ^W^, ^wv^dass

^)=£C

^do ^to^Zustand^, ^uvu

⁾⁼

(5)

Klar ^: ^. 147,1 _"

Schleiff

^" ^uiuht ^leer

4

.

luvl

^th _a ^Die

Schleiff passiutuachspitesteu

h Zcicheu ^"

•

Die Schleiff

^kauu

^belie

^big

oft durchlanfu

^warden

⇒ uv°w _, uvlw

, uiw _, uv3w

, ^... ^. sind and

in L

euthalku

^.

#

Auwendnug nachukochrezept

^"

^liudirehto ^Bennis ⁾

1 _, Auuahme ^: _cyegebeue

Sprain regular

2 , dauu ^ex ein ⁿ

(

_u

Pumping ^Uoustauk

^"

)

and

fiv

^ein

^Wort

^X ^wit ^1×1^> ⁱⁿ ^ex ^. ^line

Zerlegvug

^uach ⁱ, ^-

iiij

(6)

3,

Zcigeuhidospruch

^⇒ ^Auuahme

^falsdr

⁵

⇒ List uicht

regular

Bspi

^Die

^Sprache

^{L= 2} ^we ^{ ^a. ^by ^*

^/

^w ⁼ ^am ^bn ^, ^mm

^}

ist ^uicht

regular

^.

Bennis : Auuahme List

regular

^, ^dauu ^ex ^. ^ein ⁿ

(

Pumping

^koustaute ⁾ ^had

fides

^Wort ^XEL ^wit

1×1^> in

lift

^sick ^wie ⁱⁿ ^Pumping ^Lemma

besuhriebeu Zerlegeu

^. Pumping koustaute

hk

Dillen

^X= ^a ^"

^b

^" ^do _Lange ^In ^.

Dawit

^ex ^. ^ein

Zerlegung

^von ^× , wobei v uicht to ^and luvl ^Eu .

(7)

Der

String

^v

^besteht

âlso ^nur âus ^den ^Zeicheu â ^. ⁶

Nach

Pumping Lemma

îst ^dauu ânch ûvow â ûw êh

Abu uvow ⁼ an ^' ^' ^" b^" ( "

weniger

^a^'s ^ads ^b^'s

)

⇒

Wider spruch

^⇒ ^Auuahme

falsch

^⇒ ^List ^uicht

regular ^#

Folgerung= ^Boz

^C ^B ^,

⁽

^bisher ^:

Be Bz )

Bsp_ Die

Spraohe

^L= ^L ^we

{ ob*l

^w= ^OP _,

pistprimzahl ^}

= 200 , 000

, 00000

, 0000000

, ^- ^. ^. ^.

}

ist hicht

regular

^.

Bevis

^:

Auuahme

List

regular

^, ^dauu ^ex ^. ^line

^Zahl

^u

(8)

und

jobs

^Dort ^xel ^wit ^1×1^> ⁱⁿ

lift

^sick ^vie ⁱⁿ ⁷

Pumping

^Lemma

beschviebeu zerlegeu

^.

6

gibt

^uueudlich ^vide

^Primzahleu

^, ^also ^ouch ^line

^{Primzak )}

p

^wit

punt

² ^.

Also

OPEL

. Also unisseu ake Divtv _{do Form}

Oluwltilv

' in L

licgeu (

^×= ^OP

)

. Wahlen ⁱ ^- law /

und uhilt

luwltluowlnlvl

⁼ ^luwl

Ugly

^, ^{d. h} ^,

luwlt

^luwl.lv _list

he 've Primzahl

Oiduspruch

^, ^da

Oluwltluwl

^.nl

^¢L

^⇒

^Auuahue

^War

falsoh

^⇒

^List

^uicht

regular

^.

^#

(9)

Bep

^: ^Die

^Sprache L=hweLo}*/w=Om

_, ^mist

@

line Quadratzahl

}

ist ^uieht

regular

^,

Formal espracheu

Auto