Top/LanguageExamples

Top | Top | recent changes | Preferences

Difference (from prior minor revision) (no other diffs)

Changed: 20c20
* 1TM = { <M> | M is a Turing machine, L(M) = {1}
* 1TM = { <M> | M is a Turing machine, L(M) = {1} }


Top | Top | recent changes | Preferences
This page is read-only | View other revisions
Last edited October 7, 2004 8:59 am by Neal Young (diff)
Search: