History of Top/LanguageExamples
Top
|
recent changes
|
Preferences
Revision 7
. . October 7, 2004 8:59 am by
Neal Young
Revision 6
. . October 7, 2004 8:58 am by
Neal Young
Difference (from prior major revision)
(no other diffs)
Changed: 20c20
* 1
TM
= { <M> | M is a Turing machine, L(M) = {1}
* 1
TM
= { <M> | M is a Turing machine, L(M) = {1} }