Revision #3553 → #4078 · back to history
modifiedSub-classes of register machines611f917345a5
| Field | From #3553 | To #4078 |
|---|
| anchor.section | (Lead) | Overview |
modifiedPost–Turing machinee06954ff0d23
| Field | From #3553 | To #4078 |
|---|
| mathlib.decl | — | Turing.TM0.Machine |
| mathlib.match_kind | — | loose |
| mathlib.module | — | Mathlib.Computability.TuringMachine.PostTuringMachine |
| note | The 2-symbol Post–Turing machine has no formalization in Mathlib. | Mathlib's Turing.TM0 model in Mathlib.Computability.TuringMachine.PostTuringMachine is a Post–Turing-style 2-symbol tape machine, though not labelled 'Post–Turing machine' verbatim. |
| provenance | ai | ai-moderated |
| status | not_formalized | partial |
addedInstruction set3203fd434912
addedMinimal systems (Kaphengst, Ershov, Péter) are indistinguishable7d44e38ed811