Next:
definition of w
i
and M
j
Up:
Decidability analysis
Previous:
first principles or reduction
A non-r.e. language:
L
d
definition of
w
i
and
M
j
acceptance table
The language
L
d
is not r.e.
root
6/10/1998