•
Input:
M
= (
Q
,
S
,
R
,
s
,
F
)
;
p
Î
Q
•
Output:
e
-closure(
p
)
•
Method:
•
i
:= 0;
Q
0
:=
{
p
};
•
repeat
i
:=
i
+ 1
;
Q
i
:=
Q
i
-1
È
{
p
’:
p
’
Î
Q
,
q
®
p
’
Î
R
,
q
Î
Q
i
-1
};
until
Q
i
=
Q
i
-1
;
•
e
-closure(
p
)
:=
Q
i
.
Algorithm:
e
-closure
8
/44