BXXB ARI

(1)

außer .IS#

₁

! wistnic ^E

Frmageuiliratik

g- ^Es

^Nicht ^term^.

t.I.g4.my#gnu:.n:.!..mwtseusITyp2wECNE

^|

^Kontext

^- ^frei

=

Bspm ^: AAX ^bb → AA 99 bb

Typ

¹

G.

^.

ARI ^BXXB

Typo

A

^→ ^E

,

Asab A.) attb

,

, SAA

ßschrumpfen

Htl

KKO

LCG

) ^. äbh

, na 0

Sprache ^ist ^Kontext frei _, ^aber ^d.

Grammatik ist

Typo

Gib

^eine ^Grammatik

f. LCGIKE

^}

an

(2)

÷

ei E-

hub

_, ^... ,

ZJ

ûnd Âsa _, Âsb _, ^, ^. ^. ^. _,

A÷ -

A- salblcl _.

. . lz

of

Aus -2

Elbem

^:

^Abkürzung ^für

^die ²⁶ ^einzelnen

souaseuirri

_es _nicht _ge ^Regeln

)

Neue

Notationen

_immer erklären

, dann

okra

IAEE ^}

(3)

turnusgemässen

³

Die ^klasse List ^unter

Stern

abgeschlossen

wenn

FLEE gilt ^YEE

Sei LEER

, dann

Lrtdeg

^LWE ^-281

^WIE

^L

und _w = w ^'

"

, ny, 0

}

klar

^:

LE Ltt

klar ^:

Typ

³ ^unter ^*

^abge

Beweis

^: Sei L von

Typ

³ ^, ^dann ^ex ^. ^ein

{

reg

^. ^Ausdruck ^R ^mit

L

⁼ LCR

)

^.

Klar

^L ^* =L C

R* )

_, ^d.h. ^L* ^ist

⇐

^auch

^Tgp

³ ^#

^Tgß _II

^untersten

Geschlossen ^.

krautomateni ÷

S

^:

Zx ( Zulus ) ^xr

^→

^PCZXT

^.

⁾

hin Kellersymbol

Regel ^: lp

_

^zwei ^Keller

Zu^ein⁹

.IO

âÊingabe^#^Fans ^zeichenÊrkin^{A #} ^buchstaben

(

^Zo _, ^aabb _, ^#

)

^In ^lzo ^,

abb.tt# ^|

^& ^Keller^- ^wachst

⁾

^um

via öko .at# ) ⁼

(Zo

, A# )

# loswerden zum aha. SCZ_, ^C, # ) ⁼

HIE

)

(4)

Zwei Symbole ^rausholen

^:

4 Glzo

, E

,

A)

⁼ C^zch

,

E)

orlzi

, E

,

A)

⁼

Lzo

,

E)

^u

Doppel

^'

^Pop

"

(

zo

,

aabb

_,

AABB )

^t

^lzö

^, ^aabb ^, ^ABB

⁾

tr

Czo

_, ^aabb _,

BB )

-

Pumping ^Leuna

÷

ambzm

B-

Sprache " ! 1 ckänbh

es

Satz ; List nicht

regulär

Beweis_: Annahme :L^ist

regulär

^, ^Also

gilt ^das

^Pumping ^lemma

D.h. ^es

gibt

êine ^Zahl ^NEIN ûnd ^jedes ^Wort ^× ÊL

mit Indien kann

zerlegt

^werden ^wie

folgt

^:

i,

tun

ii Invl ^Eu

iii _, HIEIN

gilt

^uviw ^EL , ein ^Wort ^!

wobei www.

x ⁼

_tp

Wählen

ein spezielles

Dort

aus L ^: Nehmen

äb

^? ^"

klar

: Wort ist

lang _genug ^nämlich

^3N

Beo

^: ^nur

_besteht

nur aus

als

(5)

ein ^Wort ^!

5 In

Wählen

ein spezielles

Wort

aus L ^: Nehmen

äb

^? ^"

klar

_: Wort ist

lang _genug ^nämlich

^3N

Beo

: nur

besteht

^nur ^aus

^äs

Dann muß

^auch

^nviw

^EL ^mit ^iao

• der

in

_enthält mindestens ein

]

^# ^uvow ⁼

uwf ^Lb

genauso ^ist ^⇒ ^nvvw ^, ^nvvvw ^. ^.

AL

{

^#

^Annahme ^falsch

^#

^L ^nicht

regulär

^.

^#

(6)

Turing ^maschine

_, ^" Standardsituation ^"

6

D ^. ^- adazfast^landauft.it^aulI.^elI.^.^. ^- ^. ^. ^.^-^. ^DI

Start

^T ^links

_auf

^der

_Eingabe

^alle anderen t.pt Bänder sind leer

ppkusgabe

{ ndl DIDIDIBIDIBIDHIDIBIBIBIBIDIDIII

"

links auf

^der

Kopf

Ausgabe

Fht

^:

fw

⁾ ⁼ ^a , aehoitb _, _alle _anderen Bänder sind leer

(7)

Minimal

_beispiel ^: 2

Band

Maschine ⁷

fcw

⁾ ⁼ ^WR

→ → _→

SE Dh MD D- ^.^. D DMB ^- ^- ^- ^ESAN

Ch

D- ^. ^-

DX

NASEAß

⁸

⁽

^Zo ^, ^X ^,

^D)

⁼ ^lzo ^, ^B ^, ^a ^, ^R ^, ^R

⁾

^, ^de ^Z

^PFMB

Jlzo _, _II

,

B)

⁼ ⁽ ^Zz _, ^D , D _, ^N _, ^L

)

Jlzotz

, D

, d) ⁼ ⁽ ^Zz _, ^d _, B

, R

, L

)

crlzz _, ^B _,

D)

⁼ ⁽ ^, ^D ^,

Zg

^D ^, ^L ^, ^N

⁾

GNOCH

^nach ^Links

auf ^Bande

-

(8)

X

-7A

, Xisz

, Z ^→ _12-2

, z ^→ b

1

X ^In Zinlzz I _x _In _12-2

(

^Streiche^xiz

_: ^E

^b

^<

²

^Ketten

sa , X

-712g

^, ^Ksb , Z -712-2

,

Z

^-7 b

÷

oautomat

^:

*

white

^. ^...

catch

19640

^M

BXXB ARI

außer .IS#

Frmageuiliratik

g- Es

t.I.g4.my#gnu:.n:.!..mwtseusITyp2wECNE

Kontext

=

Typ

G.

ARI BXXB

Typo

A

Asab A.) attb

Htl

LCG

Typo

Gib

f. LCGIKE

÷

hub

ZJ

A÷ -

of

Elbem

Abkürzung für

souaseuirri

)

Notationen

okra

IAEE }

turnusgemässen

Die klasse List unter

abgeschlossen

FLEE gilt YEE

Lrtdeg

WIE

}

klar

LE Ltt

Typ

abge

Beweis

Typ

reg

L

)

Klar

R* )

⇐

Tgp

Tgß II

krautomateni ÷

S

Zx ( Zulus ) xr

PCZXT

)

_

.IO

(

)

abb.tt# |

)

HIE

Zwei Symbole rausholen

4

Glzo

A)

E)

orlzi

A)

Lzo

E)

Doppel

Pop

(

aabb

AABB )

lzö

)

Czo

g- ^Es

^Kontext

ARI ^BXXB

^Abkürzung ^für

IAEE ^}

Die ^klasse List ^unter

FLEE gilt ^YEE

^WIE

^abge

^Tgp

^Tgß _II

Zx ( Zulus ) ^xr

^PCZXT

⁾

abb.tt# ^|

⁾

Zwei Symbole ^rausholen

^Pop

^lzö

⁾

Pumping ^Leuna

gilt ^das

_tp

lang _genug ^nämlich

_besteht

lang _genug ^nämlich

^äs

^nviw

uwf ^Lb

^Annahme ^falsch

^L ^nicht

^#

Turing ^maschine

_auf

_Eingabe

⁽

^D)

⁾

^PFMB

⁾