Revision #2422 → #3987 · back to history
modifiedUniversal Turing machine61d996fc6bf8
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
addedLambda calculusd3cfb582bb51
modifiedFormal 7-tuple definitionb2144d162a1f
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modifiedAccepted tape contents6dcd0d53716a
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modified5-tuple convention (definition 1)e4cf1cad737f
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modified5-tuple convention (definition 2)cb9934441b70
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modifiedState formula646b02db2efa
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modifiedEquivalent models have no more power than UTM0039fd215743
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modifiedTM equivalent to two-stack PDA3514f7a11f45
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
addedMulti-tape Turing machine416bd16515ea
addedNon-deterministic Turing machine446b3f50f484
modifiedExistence of universal machine89b73248af29
| Field | From #2422 | To #3987 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
addedPrinting-symbol problem is undecidable39df41057a1f