{"text_format":"1","workbook":"xlsx","n_sheets":2,"sheets":["Welcome","Examples"],"not_rendered":{"charts":0,"images":1,"macros":1,"external_links":0,"defined_names":1,"comments":1,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900"}

{"sheet":"Welcome","index":0,"n_rows":12,"n_cols":5,"rows_kept":12,"cut":false,"hidden":false,"merged":[[0,4,2,7],[4,2,5,9]]}
[null,null,null,null,"Welcome !"]
[]
[]
[]
[null,null,"Build and run a real working Excel-based Turing Machine!"]
[]
[]
[null,"The Turing Machine that you build and run in this Excel file is of the kind described by Sir Roger Penrose"]
[null,"in his book The Emperor's New Mind (Oxford University Press, 1989) , Chapter 2, pages 40-97."]
[null,"It may help greatly if you refer to this book as you build and run your Turing Machine."]
[null,"However, that's not absolutely necessary, since you will have ample opportunities to ask questions or to"]
[null,"ask for demo videos as you build your Turing Machine.  Please click on the picture below to get started."]

{"sheet":"Examples","index":1,"n_rows":49,"n_cols":201,"rows_kept":49,"cut":false,"hidden":false,"merged":[]}
["All of the examples below were taken from:  Penrose, Roger, The Emperor's New Mind(Oxford University Press, 1989)"]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 54: the Turing Machine UN+1"]
["00R","01STOP"]
["11R","11R"]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 69: the number of Turing Machine UN+1 in Binary notation"]
[1,0,1,0,1,1,0,1,0,1,1,1,1,0,1,0,1,0]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 55: the Turing Machine UNx2"]
["00R","101L","110R","01STOP","1011L","101L"]
["10R","11R","1000R","111R","1001R","1011L"]
[]
["The number of the Turing Machine UNx2 in Binary notation, converted from Machine States on page 55 or from the Denary notation on page 69 of Sir Roger Penrose's book \"The Emperor's New Mind\""]
[1,0,0,1,1,0,1,0,0,1,0,1,1,1,0,1,0,1,0,1,1,0,1,0,1,0,0,1,1,0,1,0,0,0,0,1,1,0,1,0,1,1,1,1,0,1,0,1,0,1,0,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,0,0,0,1,0,1,1,0,1,0,0,1,0,1,1,1,0,1,0,0,1,0,1,0,1]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 54: example of a number in Unary notation that can be used with Turing Machines UN+1 or UNx2"]
[0,0,0,0,0,1,1,1,1,0,0,0,0,0]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from pages 60 and 68: the Turing Machine XN+1"]
["00R","00R","110L","01STOP","1011L","1100R","00R","111R"]
["11R","101R","101R","1000L","1001L","101R","1111R","1110R"]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 69: the number of Turing Machine XN+1 in Binary notation"]
[1,0,1,0,1,1,0,1,1,0,1,0,0,1,0,1,1,0,1,0,1,0,0,1,1,1,0,1,0,0,1,0,1,1,0,1,0,1,1,1,1,0,1,0,0,0,0,1,1,1,0,1,0,0,1,0,1,0,1,1,1,0,1,0,0,0,1,0,1,1,1,0,1,0,1,0,0,0,1,1,0,1,0,0,1,0,1,1,0,1,1,0,1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,1,1,0,1,0,1,0,1,0,0]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from pages 61 and 68: the Turing Machine XNx2"]
["00R","01R","111R","01STOP"]
["10R","100R","00R"]
[]
["The number of the Turing Machine XNx2 in Binary notation, converted from Machine States on pages 61 and 68 or from the Denary notation on page 69 of Sir Roger Penrose's book \"The Emperor's New Mind\""]
[1,0,0,1,1,0,1,0,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,0,1,1,0,1,1,0,1,0,1,1]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 60: example of a number in Extended Binary notation that can be used with Turing Machines XN+1 or XNx2"]
[0,0,0,0,1,0,0,1,0,0,0,1,0,1,0,1,0,1,1,0,0,0]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 54: the Turing Machine EUC"]
["00R","101R","10100R","1000R","1000R","1110L","1100L","1110L","10010L","100R","00STOP"]
["11L","11L","110R","111R","1010R","1101L","11L","10001L","10001L","11L","10101R"]
[]
["The number of the Turing Machine EUC in Binary notation, converted from Machine States on page 54 of Sir Roger Penrose's book \"The Emperor's New Mind\""]
[1,0,1,0,1,1,1,0,1,0,0,1,0,1,1,0,1,0,1,0,1,1,1,0,1,0,0,1,0,0,0,1,1,0,1,0,1,0,0,1,1,0,1,0,0,0,0,1,1,0,1,0,1,0,1,0,1,1,0,1,0,0,0,0,1,1,0,1,0,0,1,0,0,1,1,0,1,0,1,0,1,0,0,1,1,1,0,1,0,1,0,0,1,0,1,1,1,0,1,0,1,0,0,0,1,1,1,0,1,0,1,0,1,1,1,0,1,0,1,0,1,0,0,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,0,0,0,1,0,0,1,1,1,0,1,0,0,0,0,1,0,1,1,1,0,1,0,0,0,1,1,0,1,0,1,0,1,1,1,0,1,1,1,1,0,1,0,0,1,0,0,1,0]
[]
["From Sir Roger Penrose's book \"The Emperor's New Mind\", from page 55: example of two numbers in Unary notation that can be used with Turing Machine EUC"]
[0,0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,0,1,1,1,1,1,1,1,1,0,0,0,0,0]
[]
["The Universal Turing Machine converted from its number in Binary notation on pages 93-96 or Denary notation on page 74 of Sir Roger Penrose's book \"The Emperor's New Mind\""]
["00R","10R","100R","110R","1000R","1010L","1100L","1110R","10000R","10010L","10100L","10110R","11000L","100111R","10000R","1010100R","100000L","100010L","1000111L","100110R","1011010R","11001L","101100L","1111000R","1101001R","110010R","101110101R","111011L","111000L","111011L","11010000R","11011R","1000000L","101101011L","1000100L","1000110L","1001000L","10010001R","1001101R","100111010R","1010000L","11110R","1010101R","10000100R","100000000R","1011100R","1000010L","1010L","1100000R","10111R","1101011L","11010001L","1101001R","111001L","11100001L","100000L","10111R","1100111L","1111000L","10101000R","111110L","101000R","101000R","1000100L","1000R","10000101L","100100101L","1110R","10001000L","1111110L","100101000L","100011000L","1001010R","1101101L","1000000L","10R","11110R","1000R","110R","1110R","10R","100111100L","10000010R","101000R","1010110R","10R","10R","1010000L","11110001L","101111L","1010L","10010L","1010L","10100L","10100L","00R","1010L","101R","101101L","1000R","110R","111101L","1001111L","11001L","1110101L","1100L","1100L","11001L","1100L","101101L","10111111R","100010L","1110011L","100000L","100000L","1100000R","100000L","1100L","110R","10000R","10000010R","110R","110R","10000R","110010R","10000R","100100L","100100L","100101000L","100000010L","100100110L","101111101R","100101101L","11101R","100001011L","1000100L","100010000L","100001101L","100010011L","1001000L","100010101L","100000011L","100101L","100010L","11101R","10001111L","100100011L","1010000L","10000011L","111000L","101111000R","1000000L","101R","1110R","1110R","00R","1110R","00R","00R","100100L","101101100R","10000R","10111R","100111R","10010000R","100010L","101R","00R","10R","101R","101R","00R","10011L","00R","00R","100100L","1011001L","10010L","10010L","00R","10010L","00R","00R","1000000L","10100L","00R","00R","1000000L","00R","1000000L","100100L","100010L","101110010R","1010L","101000R","10100L","1000R","11001L","11001L","00R","1000R"]
["100000001L","10010111R","100110000R","10011101R","10011011R","10110101L","11101011L","100110011R","101000011R","101100011L","101110001L","10001000L","110001010L","11011R","11101R","10000000R","1101111L","101111111L","100011001L","101000110R","101001R","101011L","11011010L","101111L","110001R","11111001R","110101L","110110R","100101011L","1110000L","111101L","10010100L","101101111L","1000011L","100001110L","100001001L","100010110L","1001101L","10100001R","1001111L","10101111L","1010011R","10000001R","10000101R","1011001L","1011011R","1011101R","110000011L","11100111R","1100011L","1100101R","100000L","110110R","1101101L","11100001L","11100011L","1110001L","1110101L","11000000L","10101001R","100000001R","1111101L","10100111L","1001000L","10000001R","1110111R","1000010L","10000111R","101000100L","10001010L","10001101R","111111L","1001010R","10010011L","10010101L","101010001R","10011001L","110001001R","11101101R","101011L","10100001R","10100011R","10100101L","110000101L","1010111R","10101101R","101100001R","11010R","10110001L","1100101R","10111001L","110001R","1011111L","10111101L","110000111L","1100001R","11000001L","11000011R","11000101L","110010001R","11001001R","11001101R","10100011R","11010111L","1100L","11010101L","11011001L","11000101L","10011001L","11011101L","110001111R","100011111L","1110011L","11100101L","11101001L","110001R","101000001L","11010011L","11110011R","11110111R","1111010L","11110101R","101010L","11111011R","100110111L","11111101R","100111111R","100011L","10R","100000101L","100000101L","10001111L","100001001L","10010010L","100000111R","00STOP","10001010L","100001101R","100010010R","01STOP","100010101L","100011100R","100010000L","100100001L","100100001L","100000111L","100100011L","1101010R","100100101L","11011R","10000110R","100001010L","101001101R","100110101R","100111001R","110101L","10011111R","1100111R","101001111L","101011111R","101000001L","11101111R","101001001L","11000011R","1010011R","11011111L","101010011R","101010111L","10101011R","101010101R","101011001R","101011011L","10101L","101011101L","101100111L","10001101R","10110011R","101100101L","101101001L","10100100L","10110111L","10110000L","11111R","101110111L","10111011L","100011010R","110000R","101111011L","11001000R","100101111L","11111111R","101001011L","110000001R","1100011L","110000001R","110101L","11000111R","110001101L","11001111L","110011R","11001011R"]