• Keine Ergebnisse gefunden

SS 2018 19.06.2018 Exercises to the lecture

N/A
N/A
Protected

Academic year: 2021

Aktie "SS 2018 19.06.2018 Exercises to the lecture"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

SS 2018 19.06.2018 Exercises to the lecture

Algorithmic Automata Theory Sheet 8

Dr. Prakash Saivasan

Peter Chini Delivery until 26.06.2018 at 12:00

Exercise 8.1 (Construction of NBAs)

Construct NBAs for the following languages over Σ = {a, b, c}.

a) L

1

= {v ∈ Σ

ω

||v|

a

= |v|

b

< ω}.

b) L

2

= {v ∈ Σ

ω

||v|

a

= ω ∧ |v|

c

= ω}.

Hint: For L

2

you may use the product of NBAs from the lecture.

Exercise 8.2 (ω-regular languages and NBAs)

Show that a language is ω-regular if and only if it is recognized by an NBA.

Hint: For the first direction, prove the lemmas from the lecture. For the reverse direction, think of a run in an NBA. It has a finite prefix and eventually starts to loop.

Exercise 8.3 (Variant of Ramsey’s Theorem)

Let G = (V, E) be an infinite graph such that for each infinite set X ⊆ V there are v, v

0

∈ X with (v, v

0

) ∈ E. Prove that G contains an infinite complete subgraph.

Delivery until 26.06.2018 at 12:00 into the box next to 343

Referenzen

ÄHNLICHE DOKUMENTE

Exercise 21 We are given an irreducible aperiodic Markov chain with finite state space E, transition matrix P and stationary distribution π.. Show that the first return process to

(b) Show that if the minimum of I is not unique, then it is possible that X n does not converge in probability. Exercise 2.4 (LDP for

Combining evolution semigroups, time-dependent Dirichlet forms and space-time processes we deduce probabilistic representations for classical solutions of abstract evolution

01.12.: Alexey Muravlev (Steklov Mathematical Institute, Moscow). 08.12.: Mikhail Zhitlukhin (Steklov Mathematical

be independent, identically distributed, integrable random variables, and T an integrable stopping time (w.r.t. the canonicalen filtration).. Exercise 8.4 (Examples of

Asymptotic lower bounds for optimal tracking: a linear programming approach 19.01.: Giorgio Ferrari (University of Bielefeld). Nash equilibria of threshold type for

Let the random variables X n be independent and take the values ±1 with equal probability

Find the eigenvalues of the operator −∆ on [0, π] 2 with homogeneous Dirichlet boundary