Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Turing completeness
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
===Unintentional Turing completeness=== Some [[software]] and [[video games]] are Turing-complete by accident, i.e. not by design.<!--As a general rule, Arxiv documents are not accepted as sources, as they are [[WP:SELFPUBLISHED]]. Twitter user posts are generally no accepted sources either.--> Software: * [[Microsoft Excel]]<ref>{{Cite web|date=2020-12-03|title=Announcing LAMBDA: Turn Excel formulas into custom functions|url=https://techcommunity.microsoft.com/t5/excel-blog/announcing-lambda-turn-excel-formulas-into-custom-functions/ba-p/1925546|access-date=2020-12-08|website=TECHCOMMUNITY.MICROSOFT.COM|language=en}}</ref><!-- You might have seen the article on BoingBoing that says PowerPoint is Turing-complete. Maybe it is, but the BoingBoing article cites a YouTube presentation that was part of SIGBOVIK. SIGBOVIK is a *PARODY* conference. If something is presented in SIGBOVIK, that does not mean it's true, and might in fact mean that it's *NOT* true. If you want the article to say that Microsoft PowerPoint is Turing-complete, get a better source than something which ultimately points back to SIGBOVIK. --> Games: * ''[[Dwarf Fortress]]''<ref>{{cite web |url=https://themarysue.com/dwarf-fortress-turing-machine-computer/ |title=Man Uses World's Most Difficult Computer Game to Create β¦ A Working Turing Machine |last1=Cedotal |first1=Andrew |date=16 April 2010 |website=The Mary Sue |access-date=2 June 2015 |url-status=live |archive-date=27 June 2015 |archive-url=https://web.archive.org/web/20150627102458/https://themarysue.com/dwarf-fortress-turing-machine-computer/ |df=dmy-all }}</ref> * ''[[Cities: Skylines]]''<ref>{{cite web | url = https://kotaku.com/cities-skylines-map-becomes-a-poop-powered-calculator-1836398063 |title = Cities: Skylines Map Becomes A Poop-Powered Computer | first= Luke | last = Plunkett | date = July 16, 2019 | access-date = July 16, 2019 | work = [[Kotaku]] }}</ref> * ''[[Opus Magnum (video game)|Opus Magnum]]''<ref>{{cite web |url=https://rockpapershotgun.com/2017/11/20/opus-magnum-player-makes-computer/ |title=Opus Magnum player makes an alchemical computer |first=Brendan |last=Caldwell |date=November 20, 2017 |access-date=September 23, 2019 |work=[[Rock Paper Shotgun]]}}</ref> * ''[[Minecraft]]''<ref>{{Cite web |last=Crider |first=Michael |title=This 8-bit processor built in Minecraft can run its own games |url=https://pcworld.com/article/559794/8-bit-computer-processor-built-in-minecraft-can-run-its-own-games.html |access-date=2022-07-21 |website=PCWorld |language=en-US}}</ref> * ''[[Magic: The Gathering]]''<ref>{{cite conference |last1=Churchill |first1=Alex |last2=Biderman |first2=Stella |last3=Herrick |first3=Austin |year=2020 |title=Magic: The Gathering Is Turing Complete |url=https://cs.emis.de/LIPIcs/volltexte/2020/12760/pdf/lipics-vol157-fun2021-complete_.pdf#page=169 |conference=10th International Conference on Fun with Algorithms}}</ref><ref>{{cite web |last=Ouellette |first=Jennifer |date=June 23, 2019 |title=It's possible to build a Turing machine within Magic: The Gathering |url=https://arstechnica.com/science/2019/06/its-possible-to-build-a-turing-machine-within-magic-the-gathering/ |access-date=March 12, 2023 |work=[[Ars Technica]]}}</ref> * Infinite-grid [[Minesweeper (video game)|Minesweeper]]<ref>{{cite web |url=https://web.mat.bham.ac.uk/R.W.Kaye/minesw/infmsw.pdf |title=Infinite versions of minesweeper are Turing complete |last1=Kaye |first1=Richard |date=31 May 2007 |url-status=dead |archive-url=https://web.archive.org/web/20160803180423/https://web.mat.bham.ac.uk/R.W.Kaye/minesw/infmsw.pdf |archive-date=3 August 2016 |access-date=8 July 2016 }}</ref> Social media: * ''[[Habbo Hotel]]''<ref>{{cite web |url=https://twitter.com/Habbo/status/1325785673304043522 |title=Habbo's Twitter thread on the implementation of a Turing machine inside the game. |date=November 9, 2020 |access-date=November 11, 2020}}</ref> Computational languages: * [[Template (C++)|C++ templates]]<ref>{{Cite book |url=https://archive.org/details/effectivec55spec00meye |title=Effective C++ : 55 specific ways to improve your programs and designs |last=Meyers, Scott (Scott Douglas) |date=2005 |publisher=Addison-Wesley |isbn=0321334876 |edition=3rd |location=Upper Saddle River, NJ |oclc=60425273 |url-access=registration}}</ref> * [[printf]] format string<ref>[https://ioccc.org/2020/carlini/index.html A 27th IOCCC Winner]<br>{{cite conference|url=https://dl.acm.org/doi/10.5555/2831143.2831154|title=Control-flow bending: on the effectiveness of control-flow integrity|first1=Nicolas|last1=Carlini|first2=Antonio|last2=Barresi|first3=Mathias|last3=Payer|first4=David|last4=Wagner|first5=Thomas R.|last5=Gross|book-title=Proceedings of the 24th USENIX Conference on Security Symposium|isbn=9781931971232|date=August 2015|pages=161β176}}</ref> * [[TypeScript]]'s type system<ref>{{cite web|url=https://itnext.io/typescript-and-turing-completeness-ba8ded8f3de3|title=TypeScript and Turing Completeness|last=Dabler|first=Ryan|date=September 23, 2021|website=ITNEXT|publisher=LINKIT|access-date=November 12, 2022}}</ref> * [[x86 assembly language|x86 assembly]]'s MOV instruction<ref>{{Cite web|last=Dolan|first=Stephen|title=mov is Turing-complete|url=https://stedolan.net/research/mov.pdf|url-status=dead|archive-url=https://web.archive.org/web/20210214020524/https://stedolan.net/research/mov.pdf|archive-date=2021-02-14|access-date=2019-05-09|website=stedolan.net}}</ref><ref>{{cite web |url=https://hackaday.com/2021/05/21/one-instruction-to-rule-them-all-c-compiler-emits-only-mov/ |title=One Instruction To Rule Them All: C Compiler Emits Only MOV |last=Williams |first=Al |publisher=[[Hackaday]] |date=2021-03-21 |accessdate=2023-10-23 }}</ref><ref>{{Citation |title=Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas | date=25 September 2015 |url=https://youtube.com/watch?v=R7EEoWg6Ekk |access-date=2022-11-05 |language=en}}</ref> Biology: * [[Chemical computer|Chemical reaction networks]]<ref name=":0">{{Cite journal|last1=Shah|first1=Shalin|last2=Wee|first2=Jasmine|last3=Song|first3=Tianqi|last4=Ceze|first4=Luis|last5=Strauss|first5=Karin|author5-link=Karin Strauss|last6=Chen|first6=Yuan-Jyue|last7=Reif|first7=John|date=2020-05-04|title=Using Strand Displacing Polymerase To Program Chemical Reaction Networks|journal=Journal of the American Chemical Society|volume=142|issue=21|pages=9587β9593|doi=10.1021/jacs.0c02240|pmid=32364723|s2cid=218504535|issn=0002-7863}}</ref><ref name=":1">{{Cite journal|last1=Chen|first1=Yuan-Jyue|last2=Dalchau|first2=Neil|last3=Srinivas|first3=Niranjan|last4=Phillips|first4=Andrew|last5=Cardelli|first5=Luca|last6=Soloveichik|first6=David|last7=Seelig|first7=Georg|date=October 2013|title=Programmable chemical controllers made from DNA|journal=Nature Nanotechnology|language=en|volume=8|issue=10|pages=755β762|doi=10.1038/nnano.2013.189|pmid=24077029|pmc=4150546|bibcode=2013NatNa...8..755C|issn=1748-3395}}</ref><ref name=":2">{{Cite journal|last1=Srinivas|first1=Niranjan|last2=Parkin|first2=James|last3=Seelig|first3=Georg|last4=Winfree|first4=Erik|last5=Soloveichik|first5=David|date=2017-12-15|title=Enzyme-free nucleic acid dynamical systems|journal=Science|language=en|volume=358|issue=6369|pages=eaal2052|doi=10.1126/science.aal2052|issn=0036-8075|pmid=29242317|doi-access=free}}</ref><ref name=":3">{{Cite journal|last1=Soloveichik|first1=David|last2=Seelig|first2=Georg|last3=Winfree|first3=Erik|date=2010-03-23|title=DNA as a universal substrate for chemical kinetics|journal=Proceedings of the National Academy of Sciences|language=en|volume=107|issue=12|pages=5393β5398|doi=10.1073/pnas.0909380107|issn=0027-8424|pmid=20203007|pmc=2851759|bibcode=2010PNAS..107.5393S|doi-access=free}}</ref> and [[DNA computing|enzyme-based DNA computers]]<ref>{{cite journal | last = Shapiro | first = Ehud | author-link = Ehud Shapiro | title = A Mechanical Turing Machine: Blueprint for a Biomolecular Computer | journal = Interface Focus | publisher = [[Weizmann Institute of Science]] | date = 1999-12-07 | volume = 2 | issue = 4 | pages = 497β503 | url = https://wisdom.weizmann.ac.il/~udi/DNA5/scripps_short/index.htm | doi = 10.1098/rsfs.2011.0118| pmid = 22649583 | pmc = 3363030 | archive-url=https://web.archive.org/web/20090103224150/https://wisdom.weizmann.ac.il/~udi/DNA5/scripps_short/index.htm |archive-date=2009-01-03 | access-date = 2009-08-13 }}</ref> have been shown to be Turing-equivalent
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)