Formale Sprachen II at Duale Hochschule Baden-Württemberg

Flashcards and summaries for Formale Sprachen II at the Duale Hochschule Baden-Württemberg

Arrow Arrow

It’s completely free

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

studysmarter schule studium
d

4.5 /5

studysmarter schule studium
d

4.8 /5

Study with flashcards and summaries for the course Formale Sprachen II at the Duale Hochschule Baden-Württemberg

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist ein Alphabet definiert?

Was sind Beispiele dafür?

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Was ist ein String?

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Was ist eine Konkatenation ?

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist eine Formale Sprache definiert? 

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist das Produkt zweier Sprachen definiert?

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist die Potenz zweier Sprachen definiert?

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist die Menge RegExp∑  definiert?

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie sind die Präzedenzen bei RegExp geregelt?

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist r1,r2 in RegExp mit r1=r2 definiert?

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Welche Metazeichen gibt es? (14 Zeichen)

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Welche zwei Automaten Typen gibt es?

This was only a preview of our StudySmarter flashcards.
Flascard Icon Flascard Icon

Millions of flashcards created by students

Flascard Icon Flascard Icon

Create your own flashcards as quick as possible

Flascard Icon Flascard Icon

Learning-Assistant with spaced repetition algorithm

Sign up for free!

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Wie ist eine FSM definiert?

Your peers in the course Formale Sprachen II at the Duale Hochschule Baden-Württemberg create and share summaries, flashcards, study plans and other learning materials with the intelligent StudySmarter learning app.

Get started now!

Flashcard Flashcard

Exemplary flashcards for Formale Sprachen II at the Duale Hochschule Baden-Württemberg on StudySmarter:

Formale Sprachen II

Wie ist ein Alphabet definiert?

Was sind Beispiele dafür?

Ein Alphabet ist eine endliche, nicht leere Menge von Buchstaben:

∑  = {c1, ... , cn}


∑ = {0,1} binäres Alphabet

∑ = {a, ..., z, A, ..., Z} lat. Alphabet

∑ = {0, ..., 127} ASCII-Alphabet

Formale Sprachen II

Was ist ein String?

Ist ∑ ein Alphabet, so ist ein String eine Liste von Buchstaben aus ∑.

c1c2c3...cn
Leeres Wort: ε := " " -> immer in ∑*

∑* := Liste aller Wörter

Formale Sprachen II

Was ist eine Konkatenation ?

w1,w2 in ∑* mit w1=[c1,...,cn] und w2=[b1,...,bn] 

-> w1• w2 = w1w2 = c1,...,cn,b1,...,bn

-> Verbinden

Formale Sprachen II

Wie ist eine Formale Sprache definiert? 

Ist ∑ ein Alphabet so ist eine exakt definierte Teilmenge von ∑* eine formale Sprache.

Dabei gibt es 2 Klassen:

1. reguläre Sprachen

2. kontextfreie Sprachen

Formale Sprachen II

Wie ist das Produkt zweier Sprachen definiert?

L1 und L2 Teilmenge von ∑* dann ist das Produkt von L1 • L2 definiert als:

L1 • L2 := {w1•w2 |  w1 in L1 UND w2 in L2}


Beispiel:

L1:= {ab,bc} L2:= {ac,cb}

L1•L2= {abac,abcb,bcac,bccb}

Formale Sprachen II

Wie ist die Potenz zweier Sprachen definiert?

∑ ist ein Alphabet und L ⊆ ∑* ist formale Sprache mit n ϵ |N :


I.A. n= 0

L^0 := {ε}


I.S. n->n+1

L^n+1 = L^n *L


Beispiel:

∑ = {a,b} und L = {ab}

L^0 = ε 

L^1 = L

L^2 = abab

L^3 = ababab

Formale Sprachen II

Wie ist die Menge RegExp∑  definiert?

1. ∅ ϵ RegExp∑  [ wenn '∅' nicht in ∑ ] LEERE SPRACHE

2. ε ϵ RegExp∑  [ wenn 'ε' nicht in ∑ ] LEERES WORT! NICHT LEERE SPRACHE

3. c ϵ ∑  ->c ϵ RegExp∑

4. r1,r2 ϵ RegExp∑  -> r1• r2 ϵ RegExp∑ [ wenn '• ' nicht in ∑ ]

5. r1,r2 ϵ RegExp∑  -> r1+r2 ϵ RegExp∑ [ wenn '+' nicht in ∑ ] 

6. r ϵ RegExp∑  -> r* ϵ RegExp∑ [ wenn '*' nicht in ∑ ] 

7. r ϵ RegExp∑  -> (r) ϵ RegExp∑ [ wenn '(' und ')' nicht in ∑ ]


Formale Sprachen II

Wie sind die Präzedenzen bei RegExp geregelt?

1. Der Postfix-Operator * hat die höchste Priorität

2. Die Präzedenz von • ist höher als +, niedriger als *

3. + hat die niedrigste Präzedenz


Also  a+b•c* => a+(b•(c*))

Formale Sprachen II

Wie ist r1,r2 in RegExp mit r1=r2 definiert?

L(r1) = L(r2)

Formale Sprachen II

Welche Metazeichen gibt es? (14 Zeichen)

. -> alles außer neue Zeile

a | b -> a bevorzugt b

^ -> Start eines Strings bzw. in Python alles außer [^abc]

$ -> Ende eines Strings

a* -> beliebig viele a's !INKLUSIVE 0*a)

a+ -> beliebig viele a's

a? -> non greedy 

{ }

[ ] ranges

( )

\X -> x zeichen



Formale Sprachen II

Welche zwei Automaten Typen gibt es?

RegExp wird zu:

NFA -> non deterministic finite automation

DFA -> deterministic finite automation

Formale Sprachen II

Wie ist eine FSM definiert?

FSM = Finite State Machine (ENDLICHE Menge an Zuständen)

5-Tupel

<Q, ∑, δ, q0, A>

1. Q ist eine endliche Menge an Zuständen 

2. ∑ ist ein Alphabet

3. δ: Q x ∑ -> Q oder Omega

4. q0 in Q ist Startzustand

5. A ⊆ Q ist Menge der akzeptierenden Zustände


Sign up for free to see all flashcards and summaries for Formale Sprachen II at the Duale Hochschule Baden-Württemberg

Singup Image Singup Image
Wave

Other courses from your degree program

For your degree program Formale Sprachen II at the Duale Hochschule Baden-Württemberg there are already many courses on StudySmarter, waiting for you to join them. Get access to flashcards, summaries, and much more.

Back to Duale Hochschule Baden-Württemberg overview page

Automaten und formale Sprachen

Sprache

Formale Sprachen

Sprache

Sprache II

What is StudySmarter?

What is StudySmarter?

StudySmarter is an intelligent learning tool for students. With StudySmarter you can easily and efficiently create flashcards, summaries, mind maps, study plans and more. Create your own flashcards e.g. for Formale Sprachen II at the Duale Hochschule Baden-Württemberg or access thousands of learning materials created by your fellow students. Whether at your own university or at other universities. Hundreds of thousands of students use StudySmarter to efficiently prepare for their exams. Available on the Web, Android & iOS. It’s completely free.

Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
Awards

Best EdTech Startup in Europe

Awards
Awards

EUROPEAN YOUTH AWARD IN SMART LEARNING

Awards
Awards

BEST EDTECH STARTUP IN GERMANY

Awards
X

StudySmarter - The study app for students

StudySmarter

4.5 Stars 1100 Rating
Start now!
X

Good grades at university? No problem with StudySmarter!

89% of StudySmarter users achieve better grades at university.

50 Mio Flashcards & Summaries
Create your own content with Smart Tools
Individual Learning-Plan

Learn with over 1 million users on StudySmarter.

Already registered? Just go to Login