Ocupat Beaver Turing Machine

Sursă originală: http://grail.cba.csuohio.edu/~somos/bb.html

Michael Somos

Această poveste începe în jurul anului 1960. Tibor Rado, profesor la Universitatea de Stat din Ohio, se gândea la o simplă funcție necomputerizată, în afară de problema standard de stopare a mașinilor Turing. Având un număr finit fix de simboluri și stări, selectați acele programe ale mașinii Turing care în cele din urmă se opresc atunci când rulați cu o bandă goală. Printre aceste programe găsiți numărul maxim de simboluri non-goale rămase pe bandă atunci când se opresc. Alternativ, găsiți numărul maxim de pași de timp înainte de oprire. Această funcție este bine definită, dar rapid devine ne-calculabilă chiar și pentru un număr mic de stări și simboluri.

A publicat un articol despre el în 1962, dar a depășit doar scrierea unui rezultat teoretic. Cu elevul său Shen Lin, au abordat de fapt cele două simboluri, trei probleme de stat. Studiul a condus la o disertație pentru Lin în 1963 și un articol în JACM în 1965. După începutul înfometării de articole au mai fost menționate alte câteva rezultate. Cea mai populară este probabil coloana de odihnă Computer Recreational din august 1984 de către Dewdney. Există un mesaj PostScript de Jeffrey Shallit despre această problemă.

Articole Beaver Busy

La funcțiile necomputerizate , Tibor Rado, The Bell System Journal , vol. XLI, nu. 3, mai 1962, pp. 877-884.Acesta este articolul original care explică problema. Acesta este un articol teoretic și oferă doar un singur exemplu de mașină cu trei stări.Shen Lin și Tibor Rado. Studii de calculator ale problemelor mașinii Turing. Jurnalul ACM , 12 (2): 196-212, aprilie 1965.Acest articol descrie de fapt procesul care duce la rezolvarea problemei celor trei state. Multe detalii despre codificarea mașinii mașinilor Turing. Are o listă cu patruzeci de mașini care necesită o analiză umană. Aceasta se bazează pe rezultatele lucrărilor Shen Lin.Determinarea valorii funcției non-computabile a lui Rado Sigma (k) pentru mașinile Turing de patru staturi de Allan H. Brady, Matematică de calcul , voi. 40, nr. 162, apr 1983, pp. 647-665.Acest articol conține o descriere a procesului care conduce la o soluție a problemei celor patru state. Se referă la teza sa din 1964. Are câteva exemple pentru a ilustra felul de comportament pe care mașinile îl pot expune.Comportamentul complex al mașinilor simple , de Rona Machlin și Quentin F. Stout , Physica vol. 42D, 1990, pp. 85-98.Acest articol este o soluție independentă a problemei celor patru state. Oferă o descriere bună a metodei arborilor normali. Are exemple de mașini, inclusiv câțiva concurenți de stat de către Juergen Buntrock și Heiner Marxen . Abstract este pe web. Acest volum al Physica D a apărut ca o carte “Computări emergente” editată de Stephanie Forrest, publicată de MIT Press și bazată pe Conferința Los Alamos din 1989 privind computația emergentă.Computer Recreation , de AK Dewdney , Scientific American , aprilie 1985, p. 30.Acest articol dă concurentului de stat Uhing cinci și menționează procesul de căutare cu ajutorul microprocesorului. Interesul său a fost declanșat prin citirea articolului din Dewdney din august 1984. Recordul actual pentru șase state este de 95.524.079 de mărci în 8.690.333.381.690.952 pași de Heiner Marxen, potrivit unui articol din PostScript de Jeffrey Shallit .

Turing Machine Information

Pentru o introducere rapidă la mașinile Turing, puteți vizita site-ul World Turing de la Stanford. Heiner Marxen are o pagină bună despre Busy Beavers și despre proprii concurenți. Traducere germană a acestei pagini de către azoft.


Înapoi la pagina mea de start 
Ultima actualizare Thu Dec 11 2014
Michael Somos <ms639@georgetown.edu>
Michael Somos “http://grail.eecs.csuohio.edu/~somos/”