PSR B1620-26 PSR B1620-26 PSR B1620-26 is a binary star system located at a distance of 3,800 parsecs (12,400 light-years) in the globular cluster of Messier 4 (M4, NGC 6121) in the constellation of Scorpius. The system is composed of a pulsar (PSR B1620-26 A) and a white dwarf star (WD B1620-26 or PSR B1620-26 B). As of 2000, the system is also confirmed to have an extrasolar planet orbiting the two stars. The double system ("triple" including the substellar companion) is just outside the core of the globular cluster. The age of the cluster has been estimated to be about 12.2
Wolfram's 2-state 3-symbol Turing machine a LBA would require to be restarted manually to become universal using the same initial configuration, while his construction restarts the Turing machine automatically with no external intervention. Discussions about the proof continued for some time between Alex Smith, Vaughan Pratt, and others. Wolfram's 2-state 3-symbol Turing machine In his book "A New Kind of Science", Stephen Wolfram described a universal 2-state 5-symbol Turing machine, and conjectured that a particular 2-state 3-symbol Turing machine (hereinafter (2,3) Turing machine) might be universal as well. On May 14, 2007, Wolfram announced a $25,000 prize to be won by the first person to