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
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
Rahmen f¨ ur Eingabe aaab
z 0 a a a b
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
#
q
B. Reichel, R. Stiebe 3
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
@
@
@
@
@
#
#
@
@
@
@
@
#
#
@
@
@
@
@
#
#
@
@
@
@
@
#
#
@
@
@
@
@