ICG Chapter 1 Introduction

Questions about the lecture 'Infinte computations and games' of the RWTH Aachen Chapter 1 Introduction

Questions about the lecture 'Infinte computations and games' of the RWTH Aachen Chapter 1 Introduction

20

0.0 (0)

Kartei Details

Karten	20
Sprache	English
Kategorie	Informatik
Stufe	Universität
Erstellt / Aktualisiert	05.02.2017 / 13.10.2017
Weblink	https://card2brain.ch/box/20170205_ait_chapter_4_software_defined_networking
Einbinden	<iframe src="https://card2brain.ch/box/20170205_ait_chapter_4_software_defined_networking/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>

What is the definition?

[rho.DBA.büchi, 2]

Tastatur-Befehle:

= drehen,

= vor-/rückwärts,

= scrollen

1. rho(0)=q₀

2. rho(i+1)=delta(rho(i),alpha(i))

What is the definition?

[NBA.büchi, 4]

Tastatur-Befehle:

= drehen,

= vor-/rückwärts,

= scrollen

1. A=(Q,Sigma,q₀,Delta,F) with Delta \subseteq Q x Simga x Q

2. Run on alpha in Sigma^omega is rho in Q^omega

3. A accepts alpha is there is at least one accepting run of A on alpha

4. Language is defined as for DBA

What is the definition?

[rho.NBA.büchi, 2]

Tastatur-Befehle:

= drehen,

= vor-/rückwärts,

= scrollen

1. rho(0)=q₀

2. (rho(i),alpha(i),rho(i+1)) in Delta

What is the definition?

[theorem.büchi]

Tastatur-Befehle:

= drehen,

= vor-/rückwärts,

= scrollen

The class of DBA recognizable languages is not closed under complement

1 / 20