Någon som jag känner nyligen anmälde sig till en inledande datavetenskapskurs som introducerade henne till stoppproblem . Hon läste också nyligen Charles Stross bok Halting State och var nyfiken på om just den titeln hänvisade till det stoppande problemet.
Vet någon om det är sant, eller om inte, vad ”Halting State” hänvisar till?
Kommentarer
- Givet att författaren är en CS-major / ex-programmerare och att uppföljaren heter " Regel 34 ", jag skulle inte vilja ' t utesluter att det ' är en referens. Men hittills efter tio minuter intensiv forskning kunde ' inte hitta några bevis.
- BTW, jag mailade författaren. Låt ' se om han väljer att avslöja informationen.
- Från minnet (det ' har varit några år) kommer begreppet som nämns i titeln upp. Inte stoppproblemet (vilket är problemet med att avgöra om ett program stoppas) utan ett stoppande tillstånd för en slutlig automat : ett tillstånd där automaten har gjort jobbet och slutar leta.
Svar
Jag har skickat e-post till författaren och medan han vägrade att gå med i webbplats för tillfället var han nådig nog för att ge svaret som skulle skickas:
Det var en ordlek; både en hänvisning till det stoppande problemet och en nick till bokens huvudsakliga handling (ett försök att få en liten europeisk stat till ett skrikande stopp). Ja, detta är offentligt.
Kommentarer
- Charlie deltar faktiskt på många webbplatser. Jag ser honom ofta hoppa i striden på Metafilter.