Light-year Light-year The light-year is a unit of length used to express astronomical distances and measures about 9.46 trillion kilometres or 5.88 trillion miles. As defined by the International Astronomical Union (IAU), a light-year is the distance that light travels in vacuum in one Julian year (365.25 days). Because it includes the word "year", the term light-year is sometimes misinterpreted as a unit of time. The light-year is most often used when expressing distances to stars and other distances on a galactic scale, especially in nonspecialist and popular science publications. The unit most commonly used in professional astrometry is the parsec
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