Onko missään hyvää linkkiä, missä olisi malli
universaalista turingin koneesta JA tuo kone itsessään olisi koodattu myös malliksi. Eli syötteenä olisi kone itsessään.
Haen siis tällaista
Tässä on universaali turingin kone: ...
Kone itsessään koodattuna on 110101010101...01
universaali TM
ohjelkmoija
4385
0Äänestä
Muut lukivat myös
Odottaa vastausta
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Vastaukset 4
Vanhimmat
Vasenta laitaa pieraisten tuntuu mahassa, ettei homma homma yksittaisestä Turingin koneesta miksikään muutu, vaikka syötteinä olisi ääretön määrä T-koneita. Tarvitaan vain uusi ideaali, vaikka Super-T, joka lukee, laskee ja lajittelee. Ja sitten Hyper-T syötteinä Super-T jne. Turigin koneen perusmalli ei siitä käsittääkseni miksikään muutu. Eihän se mikään kone tosin olekaan, pelkkä 0/1- nauhan kuviteltu lukemismalli, toki hyvin hyödyllinen ajatusväline.
Sinulla ei ole asiasta mitään käsitystä. Kysyjälle: Muistaakseni Turingin alkuperäisessä paperissa oli ainakin aukikirjoitettavassa muodossa tällainen konstruktio. Koita wikistä kaivella; käy niitä linkkejä läpi, niin sieltä löytynee. Mitään intuitiota tuollainen valmis koodattu kone ei kyllä varmasti auta. Se on pitkä, hankala ja aivan järkyttävän ruma.
Minua itseasiassa kiinnostaa sellainen turingin kone, joka on helposti ymmärrettävissä ja sitten minua kiinnostaa sellaisen koneen oma koodi ja siitä itse asiassa kuinka lyhyt se on. Itse asiassa etsin "luonnollista" turingin konetta, jonka itsensä koodi on mahdollisimman lyhyt. (Koodin pitäisi olla binäärilukuja mieluiten)
On tosiaan vähän hankalaa sanoa mikä on helposti ymmärrettävää ja mikä ei. Se riippuu koodauksesta ja kaikesta. Vastahan todistettiin että ns 2,3 turing kone on täydellinen, joten ehkä haet jotain sellaista? (Tosin tuon todistuksen ympärillä ainakin aiemmin velloi jonkin verran keskustelua liittyen siihen miten koodaus oli toteutettu, joten en takaa sitä oikeaksi). Tuosta iltalukemista: http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf