Page history
11 October 2013
29 September 2013
28 September 2013
27 September 2013
26 September 2013
25 September 2013
7 July 2013
22 March 2009
21 March 2009
20 March 2009
→NKS Forum : Feb–Jun 2004: + archive link
+59
→Document History: reorg
→Document History: + data
+137
→Document History: + thread anchor
+48
→Document History: markup
-315
descriptive headings
-328
→Output Conditions for Tape Input "1": markup
+1,308
19 March 2009
→Output Conditions for Tape Input "0": markup
+1,127
→Output Conditions for Tape Input "0": markup
+182
→Output: markup
+93
→Computation: markup
+269
→Turing Machine Example: spacing
-5
→Computation: markup
+1,027
→Computation: markup
+75
18 March 2009
→Turing Machine Example: descriptive headings
-104
descriptive headings
+58
→Turing Machine Example: retitle section
+15
→Transition Relations: \operatorname{…}
+52
→Register Partition: <math>\operatorname{H}</math>
+26
→State Partition: <math>\operatorname{M}</math>
+26
→Terminal Conditions: <math>\operatorname{M}</math>
+26
17 March 2009
→Mediate Conditions: <math>\operatorname{M}</math>
+104
→Initial Conditions: \operatorname{…} for machine components
+52
→Transition Relations: markup
+473
→Transition Relations: markup
+78
→Interaction Conditions: markup
+237
→Interaction Conditions: markup
+188
begin reorg
-422
16 March 2009
→Note 31: markup
+427
→Note 30: markup
+424
→Interpretation of the Propositional Program (cont.): markup
+227
→Note 29: markup
+249
15 March 2009
→Note 28: markup
+270
→Note 27: markup
+485
→Note 26: markup
+336
→Interpretation of the Propositional Program: markup
+432
→Interpretation of the Propositional Program: markup
+275