Overleg:Turingmachine
Onderwerp toevoegenLaatste reactie: 7 jaar geleden door Hoopje in het onderwerp Enkelzijdig oneindig
Er staat dat ze technisch realiseerbaar zijn, terwijl de eerste eigenschap is dat er een oneindige band verdeeld over een oneindig aantal vakjes aan te pas komt. Ik heb nog nooit een oneindige band gezien, als deze bestaan wil ik er graag een hebben! 85.145.94.163
- Je hebt natuurlijk helemaal gelijk. Wil je het zelf aanpassen?
- Overigens, pas op waar je om vraagt... waar zou je een band van oneindige lengte moeten bewaren? ;-) Oliphaunt 23 mei 2007 12:43 (CEST)
- Wat is er "technisch niet realiseerbaar" ? Zolang je maar over genoeg versie "band" beschikt hé... Als een loop lang genoeg is kan je van elk computeralgoritme gaan zeggen dat het in de praktijk niet werkbaar is hé --LimoWreck 23 mei 2007 19:13 (CEST)
- Ik heb de zin genuanceerd. Maxime.Debosschere 2 aug 2009 03:35 (CEST)
Enkelzijdig oneindig[brontekst bewerken]
Waar komt het idee vandaan dat de band enkelzijdig oneindig zou zijn? Dit klopt niet met de definitie! Rp (overleg) 10 mrt 2016 21:55 (CET)
- Een beetje laat antwoord, maar toch :-). Turingmachines kunnen zowel gedefinieerd worden met een band die aan een kant "oneindig" is als met een band die aan twee kanten "oneindig" is. In beide gevallen levert dat een equivalente definitie op (we kunnen beide vormen vrij eenvoudig naar elkaar omvormen). Ik schrijf overigens oneindig tussen aanhalingtekens, omdat het eigenlijk genoeg is dat de band onbegrensd is: op elk moment zijn slechts eindig veel bandlocaties beschreven. Hoopje (overleg) 23 aug 2016 08:39 (CEST)