eldorado.tu-dortmund.de/server/api/core/bitstreams/c1c7ee12-8eb8-4c70-897b-6aa48a45c87c/content
(namely q0).
84
q0
q1
q2
0
0
0
1
(a) NFA N
0 → 01 +02
1 → 11
01 → $q0
02 → $q0
11 → $q0
$q1 → $q0
$q2 → $q0
(b) Set of rules R
q0
q1
q2 q f
0,1
01
02
0,1,01
$q1 11
02,$q0 ,$q2
0,1
$q2
01,02,11,$q0 ,$q1
Σ [...] Π(σAq ,τ
′,a) is the infinite sequence
((âun) 0,av0),((âun)
0âu0,v0v0),((âun) 0âu1,v1v0), . . . ,((âun)
0âun−1,vn−1v0),
((âun) 1,av1),((âun)
1âu0,v0v1),((âun) 1âu1,v1v1), . . . ,((âun)
1âun−1 [...] “−” of M
A0,0,(.,s0)→ a
A0, j,x j → a for j = 1, . . . ,n
A0,n+1,# → a
A0, j,0 → a j0 for j = n+2, . . . , t
A0, j,1 → a j1 for j = n+2, . . . , t
Ai+1, j,W → Ai, j−1,X Ai, j,Y Ai, j+1,Z for i = 0, . . . …