f
...
...
a
pro
Q
’ = {
f
}
:
b
{
f
}
a
{
s
}
a
b
c
{
q
1
,
f
}
{
q
2
,
f
}
a
c
a
a
F
d
:=
F
d
È
{
{
f
}
}
R
d
:
= R
d
È
{
{
f
}
a
®
{
f
}
}
Q
new
=
Æ
,
Q
d
=
Q
d
È
{
{
f
}
}
,
b
a
a
q
1
s
f
b
c
c
q
2
b
b
c
c
b
{
f
}
a
{
s
}
a
b
c
{
q
1
,
f
}
{
q
2
,
f
}
a
c
a
Celkově:
Odstranění nedeterminismu II
:
Příklad
3
/
3
27
/44