• Keine Ergebnisse gefunden

M = ({z 0 , z 1 , z 2 , z 3 , z 4 , q}, {a, b}, {a, b, }, δ, z 0 , , {q}) mit ¨ Uberf¨ uhrungsfunktion δ:

N/A
N/A
Protected

Academic year: 2022

Aktie "M = ({z 0 , z 1 , z 2 , z 3 , z 4 , q}, {a, b}, {a, b, }, δ, z 0 , , {q}) mit ¨ Uberf¨ uhrungsfunktion δ:"

Copied!
4
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Domino-Problem: Beispiel

M = ({z 0 , z 1 , z 2 , z 3 , z 4 , q}, {a, b}, {a, b, }, δ, z 0 , , {q}) mit ¨ Uberf¨ uhrungsfunktion δ:

z 0 z 1 z 2 z 3 z 4

a {(z 0 , a, R), (z 1 , a, R)} {(z 2 , a, R)} ∅ {(z 3 , a, R)} {(z 4 , , L)}

b {(z 0 , b, R)} ∅ {(z 3 , b, R)} {(z 3 , b, R)} {(z 4 , , L)}

∅ ∅ ∅ {(z 4 , , L)} {(q, , N )}

Akzeptierender Lauf f¨ ur aaab:

z 0 aaab ` az 0 aab ` aaz 1 ab ` aaaz 2 b ` aaabz 3 ` aaaz 4 b ` aaz 4 a `

az 4 a ` z 4 a ` z 4 ` q

B. Reichel, R. Stiebe 1

(2)

Domino-Spiel f¨ ur M

@

@

@

@

@

@

# a

# a

@

@

@

@

@

@

# b

# b

@

@

@

@

@

@

#

#

@

@

@

@

@

@

z 0 a

# z 0 a

@

@

@

@

@

@

z 0 b

# z 0 b

@

@

@

@

@

@

z 0

# z 0

@

@

@

@

@

@

z 1 a

# z 1 a

@

@

@

@

@

@

z 1 b

# z 1 b

@

@

@

@

@

@

z 1

# z 1

@

@

@

@

@

@

z 2 a z 2 a #

@

@

@

@

@

@

z 2 b

# z 2 b

@

@

@

@

@

@

z 2

# z 2

@

@

@

@

@

@

z 3 a z 3 a #

@

@

@

@

@

@

z 3 b

# z 3 b

@

@

@

@

@

@

z 3

# z 3

@

@

@

@

@

@

# a

z 4 z 4 a

@

@

@

@

@

@

# b z 4 z 4 b

@

@

@

@

@

@

# z 4 z 4

@

@

@

@

@

@

# z 0 a

z 0 a

@

@

@

@

@

@

# z 0 a

z 1 a

@

@

@

@

@

@

# z 0 b

z 0 b

@

@

@

@

@

@

# z 1 a

z 2 a

@

@

@

@

@

@

# z 2 b

z 3 b

@

@

@

@

@

@

# z 3 a

z 3 a

@

@

@

@

@

@

# z 3 b

z 3 b

@

@

@

@

@

@

z 4 z 3

#

@

@

@

@

@

@

z 4 z 4 a

#

@

@

@

@

@

@

z 4 z 4 b

#

@

@

@

@

@

@

# z 4

# q

B. Reichel, R. Stiebe 2

(3)

Rahmen f¨ ur Eingabe aaab

z 0 a a a b

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

q

B. Reichel, R. Stiebe 3

(4)

Akzeptierender Lauf und Domino-L¨ osung

z 0 a a a b

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

#

q

@

@

@

@

@

#

#

@

@

@

@

@

# z 0 a

z 0 a

@

@

@

@

@

z 0 a z 0 a #

@

@

@

@

@

# a

# a

@

@

@

@

@

# b

# b

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# a

# a

@

@

@

@

@

# z 0 a

z 1 a

@

@

@

@

@

z 1 a z 1 a #

@

@

@

@

@

# b

# b

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# a

# a

@

@

@

@

@

# a

# a

@

@

@

@

@

# z 1 a

z 2 a

@

@

@

@

@

z 2 b

# z 2 b

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# a

# a

@

@

@

@

@

# a

# a

@

@

@

@

@

# a

# a

@

@

@

@

@

# z 2 b

z 3 b

@

@

@

@

@

z 3

# z 3

@

@

@

@

@

#

#

@

@

@

@

@

# a

# a

@

@

@

@

@

# a

# a

@

@

@

@

@

# a

# a

@

@

@

@

@

# b z 4 z 4 b

@

@

@

@

@

z 4 z 3

#

@

@

@

@

@

#

#

@

@

@

@

@

# a

# a

@

@

@

@

@

# a

# a

@

@

@

@

@

# a z 4 z 4 a

@

@

@

@

@

z 4 z 4 b

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# a

# a

@

@

@

@

@

# a z 4 z 4 a

@

@

@

@

@

z 4 z 4 a

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# a z 4 z 4 a

@

@

@

@

@

z 4 z 4 a

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# z 4 z 4

@

@

@

@

@

z 4 z 4 a

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

# z 4

# q

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

@

@

@

@

@

#

#

B. Reichel, R. Stiebe 4

Referenzen

ÄHNLICHE DOKUMENTE

Universit¨ at Regensburg, Institut f¨ ur Theoretische Physik Winter

Universit¨ at Regensburg, Institut f¨ ur Theoretische Physik Winter

[r]

Termin: 20. b) Die zu verwendenden Symbole sind die Ziffern 0 bis 9 und die Buchstaben a-z und A-Z. Kleine und große Buchstaben sind als unterschiedliche Symbole betrachtet. c) Es

Ubungsbl atter sind in Gruppen von zwei bis drei Personen

[r]

Offensichtlich ist das nicht der Fall f¨ ur alle geschlossenen Wege, zum Beispiel f¨ ur einen Weg vom Ursprung zum Punkt r 1 und zur¨ uck wobei der Hinweg entlang des Pfades i) und

[r]