TWiki>
Mizar Web>MathematicsSubjectClassification>68>68Q>68Q05 (2006-11-24, MarcoRiccardi)EditAttach
Mizar Web>MathematicsSubjectClassification>68>68Q>68Q05 (2006-11-24, MarcoRiccardi)EditAttach68Q05 Theory of computing - Models of computation (Turing machines, etc.)
Primary classification
| # | Article | ||
|---|---|---|---|
| 1 | ami_1 | A Mathematical Model of CPU | Yatsuka Nakamura and Andrzej Trybulec |
| 2 | ami_2 | On a Mathematical Model of Programs | Yatsuka Nakamura and Andrzej Trybulec |
| 3 | ami_3 | Some Remarks on Simple Concrete Model of Computer | Andrzej Trybulec and Yatsuka Nakamura |
| 4 | amistd_1 | Standard Ordering of Instruction Locations | Andrzej Trybulec , Piotr Rudnicki and Artur Korni{\l}owicz |
| 5 | amistd_2 | On the Composition of Macro Instructions of Standard Computers | Artur Korni{\l}owicz |
| 6 | amistd_3 | A Tree of Execution of a Macroinstruction | Artur Korni{\l}owicz |
| 7 | scm_1 | Development of Terminology for {\bf SCM} | Grzegorz Bancerek and Piotr Rudnicki |
| 8 | ami_5 | On the Decomposition of the States of SCM | Yasushi Tanaka |
| 9 | ami_6 | On the Instructions of { \bf SCM } | Artur Korni{\l}owicz |
| 10 | ami_7 | Input and Output of Instructions | Artur Korni{\l}owicz |
| 11 | scmfsa_1 | An Extension of { \bf SCM } | Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki |
| 12 | scmfsa_2 | The { \bf SCM_FSA } computer | Andrzej Trybulec , Yatsuka Nakamura and Piotr Rudnicki |
| 13 | scmfsa_3 | Computation in { \bf SCM_FSA } | Andrzej Trybulec and Yatsuka Nakamura |
| 14 | scmfsa_4 | Modifying addresses of instructions of { \bf SCM_FSA } | Andrzej Trybulec and Yatsuka Nakamura |
| 15 | scmfsa_5 | Relocability for { \bf SCM_FSA } | Andrzej Trybulec and Yatsuka Nakamura |
| 16 | scmfsa_7 | Some Multi-instructions defined by sequence of instructions of SCM+FSA | Noriko Asamoto |
| 17 | scmfsa6a | On the compositions of macro instructions | Andrzej Trybulec , Yatsuka Nakamura and Noriko Asamoto |
| 18 | sf_mastr | Memory handling for SCM+FSA | Piotr Rudnicki and Andrzej Trybulec |
| 19 | scmfsa6b | On the compositions of macro instructions, Part II | Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec |
| 20 | scmfsa6c | On the compositions of macro instructions, Part III | Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec |
| 21 | scmfsa7b | Constant assignment macro instructions of SCM+FSA, Part II | Noriko Asamoto |
| 22 | scmfsa8a | Conditional branch macro instructions of SCM+FSA, Part I (preliminary) | Noriko Asamoto |
| 23 | scmfsa8b | Conditional branch macro instructions of SCM+FSA, Part II | Noriko Asamoto |
| 24 | scmfsa8c | The {\bf loop} and {\bf Times} Macroinstruction for {\SCMFSA} | Noriko Asamoto |
| 25 | scmfsa_9 | While Macro Instructions of SCM+FSA | Jing-Chao Chen |
| 26 | sfmastr1 | On the Composition of non-parahalting Macro Instructions | Piotr Rudnicki |
| 27 | scmfsa9a | The { \bf while } macro instructions of SCM+FSA, Part { II } | Piotr Rudnicki |
| 28 | sfmastr2 | Another { \bf times } Macro Instruction | Piotr Rudnicki |
| 29 | sfmastr3 | The { \bf for } (going up) Macro Instruction | Piotr Rudnicki |
| 30 | scm_halt | Initialization Halting Concepts and Their Basic Properties of SCM+FSA | JingChao? Chen and Yatsuka Nakamura |
| 31 | scmpds_1 | A Small Computer Model with Push-Down Stack | JingChao? Chen |
| 32 | scmpds_2 | The SCMPDS Computer and the Basic Semantics of Its Instructions | JingChao? Chen |
| 33 | scmpds_3 | Computation and Program Shift in the SCMPDS Computer | JingChao? Chen |
| 34 | scmpds_4 | The Construction and shiftability of Program Blocks for SCMPDS | JingChao? Chen |
| 35 | scmpds_5 | Computation of Two Consecutive Program Blocks for SCMPDS | JingChao? Chen |
| 36 | scmpds_6 | The Construction and Computation of Conditional Statements for SCMPDS | JingChao? Chen |
| 37 | scmpds_7 | The Construction and Computation of For-loop Programs for SCMPDS | JingChao? Chen and Piotr Rudnicki |
| 38 | scmpds_8 | The Construction and Computation of While-loop Programs for SCMPDS | JingChao? Chen |
Secondary classification
| # | Article | ||
|---|---|---|---|
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2006-11-24 - 18:26:36 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback