• Keine Ergebnisse gefunden

Formal espracheu

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2022

Aktie "Formal espracheu"

Copied!
9
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 9 Seite )

Volltext

(1)

Auto

makutheorie &

Formal espracheu

6

.

Vorlesung

Steffen Reith 23.5.18

(2)

@

Bevis

: Sei M= ( Z , -2 ,

S

, zo

,

E)

wit L - LCM

)

,

wobei Mein

DEA

ist .

Nack

obigo

Tdee :

Aus

SCZ

,

a)

wind dei

Regel

Z →

ask.at

Genauv

G=

(

[ , z ,

p

,

zoky [

n Nichttominale" start symbol" " Zustaud ! und

Ping }

Z →

ASC

z, a) I zeZ , ae E

}

u

{

Z → a 1 Set

,u)eE

, ze Z , AEZ

}

(3)

{ s

gilt

: 2

Aeaz . . . an ELCM

)

gdu

es

gibt

Zustiude zu ... , 2- he Z curd Zne E , sodas

S

( Zo , an

)

=Zn , SCZ,

,az)=Zz

, . ... , SCZu . e , an

)

= Zu

gdw

es

gibt

line

Folge

✓ on Nichttowiualeu Zo,Ze

, ... , Zua

unit Zo → an Z

, , Ze → az Zz

, ... , Zun → an

, d. h,

Zo 1- aiti - a. azzz # aeaz ... an

also an az ... an C- L (

G)

Also L (

G)

= ( ( M

)

12 { } und dawit ist L von

Typ3

.

#

(4)

Sat Fir jede regulate

Sprachel

, die van do 3

regulcireu

Grammatik

Gozeugt

wind , existiut

ein NEA M unit L= LCM ) = LCG

)

.

Bennis

( ldeeti

{

rsehe

Regehr der Form A

→

AB

duck

Zustoinde and

libogaug

do

Form

A 9- B

and A → a church

A -9

) X X E " {

udzustaud

"

Do

Automat

wird uiehtdet , weuu es mehrere Regelu do

Form

A → a B und A → ac

#

(5)

2. 4.

Regulate Ausdriche

4

Regula

're Ausdriche werdeu induhtiv

wiefolgtdefiuiot

:

(

IA )

¢

, E und ae Z Sind

regulate Ausdviche

×

(b)

Dean × and

p oeguleire

Ausdriche Sind ,

dauu

If ?tnId!5hIer anti !!: '

.ua .

Fray

: Was

bedeuteu

diesc Ausdriche ?

Def L (d)

=aef L we

-2*1

W

eutsprioht

dem Muster a

}

Genaro !

?

(6)

(A)

LC

4)

=ey

0

, L(

E) =def{

E

}

und Ua

) =aegZa

} 5

If

"

she :b: :I

.is?iiYiipY!ien::y :

"

Seif

= (a) *, daun LC

8) =dy

Ux ) *

= { { } ullx

)

ullxx

)

ullxxx

)

u ...

Bend

Habeu x 'tuicht , abv at E &x*

- It a ? - " -

, also x ? E

(

He

)

ZieI Banc

aus

regulireu

Ausdruckx linen Automaker M

hit LCL

)

=L ( M

)

.

(7)

fat (

kleeue

)

6

Die

Meuge

do durch

regulate

Ausdriiche

besuhreibbareu Spradeu istgeuau

die

Menge

do

regulireu Spracheu

.

Beweisi

( skizze

)

Eigeutlich " aus oeguliren Ausdruok

⇒

NEAM houstonian

(

⇐ "

ay.su?ywup.3.uGrammatikeiueuoeg.Ausdoude)

''⇒

"

(A)

.

8=4

bird zu →

@

•

f

= E wird Zu →

GO

• 8 = a - Il - - >

€-90 @

(8)

(b) f= . xp

. Nack

luduhtiousvoraussehoug habeu

7

heir linen Automate a

Mx

( law .

Mp )

fio µp@

× ( law ,

p )

° Md

iIII.adzostandeu.uMawitdeuStartzustandeuvou@MpUopieuvouMpuverhlebeun.Wichtig.D

ie Eudzusteiudevou Mx Sind nun heine Eudzustdude mehr

!

u In Serie Scholten "

(9)

.

y=( xlp )

8

ootk

oZo

%

{e p 1, Automaton

parallel

scholten "

.

f= (d)

*

µ"

.

Maoheuausstartzustand

AM

aza,) linen

Eudzustaud

, du

Zo : ZF { EL ( x*

)

! 7

M£

'

' an . Fihreu Rickkoppelungeu

Wi

ein

#

An

Referenzen

Jetzt herunterladen ( PDF - 9 Seite - 3.92 MB )

ÄHNLICHE DOKUMENTE

Two formal letters in one

(Quelle: Landesinstitut für Schulqualität und Lehrerbildung Sachsen-Anhalt (LISA), Niveaubestimmende Aufgaben zum Lehrplan Sekundarschule Englisch)... Why has each letter

Nicht formal Qualifizierte arbeitsplatznah weiterbilden

Wichtige Koope- rationspartner für die Etablierung zielgruppen- und betriebsgerechter Lernformate sind auch regionale Agenturen für Arbeit und Jobcenter, da Maßnahmen nach

Formal Semantics for SDL

The syntax and lexis descriptions used within the compiler must match those of the language definition. This is guaranteed in the following ways. The regular expressions used for

Formal espracheu

1×1 > in lift sick wie in Pumping Lemma besuhriebeu Zerlegeu.. Der String v besteht also nur aus den Zeicheu a.. und jobs Dort xel wit 1×1 > in lift sick vie in 7. Pumping

espracheu 13.6.18

⇒ Es gibt koutext sensitive Spracheu die uioht

Formal language

Auÿerdem können Grammatiken auch für die Analyse (Erkennung) formaler Sprachen und endliche Automaten für ihre Erzeugung genutzt werden... partial/total

Formal Parametric Polymorphism

Reynolds's abstraction theorem concerns a language similar to Gi - rard’s system F [Girard, Lafont, Taylor 1989], and implies that the instances of a polymorphic function at

Formal representations of belief

agent's prior epistemic state by a set of propositions together with a subjective probability measure, and to use that measure to update the set of propositions