{"entities":{"Q2480963":{"pageid":2491706,"ns":120,"title":"Item:Q2480963","lastrevid":72734982,"modified":"2026-04-14T07:15:22Z","type":"item","id":"Q2480963","labels":{"en":{"language":"en","value":"Simulating Turing machines on Maurer machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5261310"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$A4159CA5-2B7C-4276-9C62-E6FF7A7A0607","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f91726830c4d8d6cc73b0c5fee18c8c0838eef24","datavalue":{"value":{"text":"Simulating Turing machines on Maurer machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2480963$30BF2FD6-D489-41F6-9107-7E553188447D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6997c4a0513a747b35392a8fe6c9c00909ddbdf1","datavalue":{"value":"1150.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480963$9857B02E-7C6D-4FF1-AF15-8F088EBF6356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$15E3F592-5943-4697-848C-8EF6C6F35000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$F99CD6B8-FB1F-48EF-BD1E-7B375BDDC083","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$CE5F9359-657A-452A-B161-B24BB536295E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a914c723a5c2033d6e1e0ea3019532d1a65c2388","datavalue":{"value":{"time":"+2008-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2480963$3EDB84BB-1022-4A47-8B4C-DAC66C153E62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"727f98367a9958de417c75e3b803fba8acc2da6b","datavalue":{"value":"https://research.tue.nl/nl/publications/simulating-turing-machines-on-maurer-machines(e02f6174-67c2-45fe-bcee-e80d622a222b).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2480963$BBEB71C0-CC43-43AF-A95E-C661BCBFB306","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a923c41f693f806810c2c3d0d54131452b10b5b","datavalue":{"value":"This paper presents three ways to simulate Turing machines on Maurer machines, which give insight into the connections between Turing machines, Maurer machines and real computers:   1. The Maurer machine on which Turing machines are simulated has the most obvious operations for simulation of Turing machine. Unlike real computers, the Maurer machine, used for simulation, has operations on an infinite input region or an infinite output region.   2. The Maurer machine used for simulation of Turing machines has only operations with a finite input region and a finite output region.   3. The Maurer machine used for simulation of Turing machines has also only operations with a finite input region and a finite output region but there is another kind of simulation of the transition function of Turing machines: first stored in the memory of the Maurer machine and then executed under control of a multi-thread that makes the head position part of the operations. The multi-thread forks off every head position a control thread of itself on the head reaching the preceding position for the first time. This way illustrates that some main concepts of contemporary programming, multi-thread and thread, have an interesting theoretical application.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$D998A218-9119-4FD4-9993-0A5034AF1770","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480963$DB0757DB-FC28-4721-ACAE-DD6BD6A57EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480963$25A7564D-C51C-4523-BE0E-E53538D6802F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f91604c2e5cd4c0315a6de893b4df6f8d58403be","datavalue":{"value":"5261310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480963$3A61209E-9FDC-496B-984B-A450C59902E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$EAE01FB0-03B5-42BE-A4F7-B7FAEE4DE125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30caf9dafa4dd053695a77e30e3ac41839656a2b","datavalue":{"value":"Maurer machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$84933AF2-72A9-42A2-B0AC-0567B371C369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d235fa3ac1188412742ce2cc3566f249a5718377","datavalue":{"value":"thread algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$A1777CC6-9E0F-4687-9B14-6C399D20B004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5187535c727604c5f2b83e80b3162c3ef4ea8c03","datavalue":{"value":"strategic interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$51721563-A768-408F-A0BE-D7D9E73D06D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e36597763513b392a79ed3f78a3afdad7032ef5","datavalue":{"value":"thread forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$8285611A-7353-4A36-AB93-603F90D6E8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36ba177950f62365da03563db1d979599736e9d","datavalue":{"value":"fair interleaving strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2480963$BC660CF3-6580-4BF5-AF38-49B27F83438A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10ce3a5d9313b648d3b16631524f630b08f534db","datavalue":{"value":{"entity-type":"item","numeric-id":587297,"id":"Q587297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$3CF4FE17-1974-4542-9080-60A304D1C5C8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$92858E8D-2085-4641-9443-7510C4ECD80D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af0c86c80fe992f6461af8c780df87e0c7c666bc","datavalue":{"value":"W2096557037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480963$76DD1C2A-EA62-4B0D-A0D9-40095F83E4A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$D9E30481-2C99-4E02-AD75-0C67FEA6BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b86c8b7539c4ebb487075a4ff73bf8c316eed5","datavalue":{"value":{"entity-type":"item","numeric-id":4449159,"id":"Q4449159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$2FFD400F-4091-4D28-B658-071E46AD08D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd04c46264bb288085662e17b6e498a9e39c983","datavalue":{"value":{"entity-type":"item","numeric-id":1858432,"id":"Q1858432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$FF735B6B-5FA2-4C2C-A873-603C871AD898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe26c487f61815cca9e6ae8b5bb80a079c904e00","datavalue":{"value":{"entity-type":"item","numeric-id":5458071,"id":"Q5458071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$0D6C2F94-5414-4689-8EA6-99051BABB98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217516771e5b3c0876313ce2e6e6176b65d1ed06","datavalue":{"value":{"entity-type":"item","numeric-id":2500474,"id":"Q2500474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$C37815EB-CB6A-48E3-9BE9-CF23F1CD754A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d3fa5b949c99a7b0d832a9639aca824f8f9d9c8","datavalue":{"value":{"entity-type":"item","numeric-id":2464036,"id":"Q2464036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$C432A6B2-7AFC-468C-9B62-F3A53DA6D3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2712387888da8602c7b647ee8f6052e0f4249a82","datavalue":{"value":{"entity-type":"item","numeric-id":5480652,"id":"Q5480652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$95A8CF24-8682-4C9D-8385-A576E679FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990db796eaaf12fc88da285a7afe31bbab180670","datavalue":{"value":{"entity-type":"item","numeric-id":1858434,"id":"Q1858434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$D708284C-7A16-4DE4-8AC6-1AD5FE428211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e90f9104ea022c7422408156c4aea89597a34a","datavalue":{"value":{"entity-type":"item","numeric-id":3686043,"id":"Q3686043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$FBD89AF1-52FF-4BC6-9E66-915AC613447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad1c90ed17e8255c91fb1f6820cc35a9faf5cee","datavalue":{"value":{"entity-type":"item","numeric-id":1080649,"id":"Q1080649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$E1EFE379-98D6-4F68-AF48-FDAE5CDC6C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a71c78a7a8729824c7bd614bae1bf5edac342c","datavalue":{"value":{"entity-type":"item","numeric-id":5330638,"id":"Q5330638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$76B884A3-6F8A-4F10-94F3-3B928EE692FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$56DDD3F7-29FB-4F54-91C6-66A153A7443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$AA3509C9-1332-436C-BB84-52096EFC5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77db50d571eaf3ac7f05ba47f24645e6b5b429e9","datavalue":{"value":{"entity-type":"item","numeric-id":5568400,"id":"Q5568400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$6323CC70-FDBD-481F-AEFE-ABE8D9259079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0497a7a4a6c8de42998f81568b0b07979a7c01","datavalue":{"value":{"entity-type":"item","numeric-id":2495549,"id":"Q2495549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$0ED27D1F-A444-46BD-BCE6-7D30A61EBB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2480963$B36AECF8-558C-43D0-B3F7-3E4662D77AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a5d7777787ca3c54015173270169d192713d409","datavalue":{"value":"10.1016/J.JAL.2007.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2480963$A0E08F38-250C-4DBF-A1F8-0A55FAFDA055","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed7d75925e61cce0a22f9b51311180de7d4977d","datavalue":{"value":{"entity-type":"item","numeric-id":5535413,"id":"Q5535413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea166de8ec459287bdcef816f3b15dadc69e89d1","datavalue":{"value":{"amount":"+0.7654999494552612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2480963$EA2C7EC7-BB99-4103-B1C8-22E047E66965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc013d2a4cf079ed78541fd191d146ce7ecd5740","datavalue":{"value":{"entity-type":"item","numeric-id":5431926,"id":"Q5431926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf783ada44e5db5b5919d42abdc7abd2f6d21b6","datavalue":{"value":{"amount":"+0.7596648335456848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2480963$2FBCD244-60CE-46D4-AB59-7C6E70AC7C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c9cbaecff7932255e77993a1ed2969b68301a71","datavalue":{"value":{"entity-type":"item","numeric-id":3144250,"id":"Q3144250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7777d497379e1c38e19efc9352723fb5e532f06f","datavalue":{"value":{"amount":"+0.7481948137283325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2480963$84FF8C81-B689-43B1-BF77-EDCF48103808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953101d37993120b0b05aee7ca788f6008ad496d","datavalue":{"value":{"entity-type":"item","numeric-id":4936630,"id":"Q4936630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443fcac59543c6450bfb64ad2764af3b27b37f37","datavalue":{"value":{"amount":"+0.7201784253120422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2480963$C3A7D53A-E766-4C9D-8B03-3AAB234E479B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"895c9ff3c57dd4bc7db63a9c50be2f82ec38a48d","datavalue":{"value":{"entity-type":"item","numeric-id":3805901,"id":"Q3805901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d41b4ecd6551673498a4ae548093ebb5efe18f","datavalue":{"value":{"amount":"+0.7087439894676208","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2480963$FC10121A-8261-4563-B767-18F78840AD92","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulating Turing machines on Maurer machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simulating_Turing_machines_on_Maurer_machines"}}}}}