Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Busy_beaver> ?p ?o. }
Showing items 1 to 56 of
56
with 100 items per page.
- Busy_beaver abstract "In computability theory, a busy beaver is a Turing machine that attains the maximum number of steps performed or number of nonblank symbols finally on the tape among all Turing machines in a certain class. The Turing machines in this class must meet certain design specifications and are required to eventually halt after being started with a blank tape.A busy beaver function quantifies these upper limits on a given measure, and is a noncomputable function. In fact, a busy beaver function can be shown to grow faster asymptotically than does any computable function. The concept was first introduced by Tibor Radó as the "busy beaver game" in his 1962 paper, "On Non-Computable Functions".".
- Busy_beaver wikiPageExternalLink index.php.
- Busy_beaver wikiPageExternalLink BusyBeaver.
- Busy_beaver wikiPageExternalLink SWCT.1964.3.
- Busy_beaver wikiPageExternalLink dewd.
- Busy_beaver wikiPageExternalLink RTM.htm.
- Busy_beaver wikiPageExternalLink nreg.html.
- Busy_beaver wikiPageExternalLink www.
- Busy_beaver wikiPageExternalLink bstj41-3-877.pdf.
- Busy_beaver wikiPageExternalLink BB.
- Busy_beaver wikiPageExternalLink index.html.
- Busy_beaver wikiPageExternalLink BB.
- Busy_beaver wikiPageExternalLink mabu90.html.
- Busy_beaver wikiPageExternalLink busyb.html.
- Busy_beaver wikiPageExternalLink 2007539.
- Busy_beaver wikiPageExternalLink ha.html.
- Busy_beaver wikiPageExternalLink bignumbers.html.
- Busy_beaver wikiPageExternalLink uy02c7ny21mv04tj.
- Busy_beaver wikiPageExternalLink bellcom.pdf.
- Busy_beaver wikiPageID "67911".
- Busy_beaver wikiPageRevisionID "605889321".
- Busy_beaver hasPhotoCollection Busy_beaver.
- Busy_beaver title "Busy Beaver".
- Busy_beaver urlname "BusyBeaver".
- Busy_beaver subject Category:Computability_theory.
- Busy_beaver subject Category:Large_integers.
- Busy_beaver subject Category:Theory_of_computation.
- Busy_beaver type Abstraction100002137.
- Busy_beaver type DefiniteQuantity113576101.
- Busy_beaver type Integer113728499.
- Busy_beaver type LargeInteger113745420.
- Busy_beaver type LargeIntegers.
- Busy_beaver type Measure100033615.
- Busy_beaver type Number113582013.
- Busy_beaver comment "In computability theory, a busy beaver is a Turing machine that attains the maximum number of steps performed or number of nonblank symbols finally on the tape among all Turing machines in a certain class. The Turing machines in this class must meet certain design specifications and are required to eventually halt after being started with a blank tape.A busy beaver function quantifies these upper limits on a given measure, and is a noncomputable function.".
- Busy_beaver label "Alacre castoro".
- Busy_beaver label "Algoritmo do castor".
- Busy_beaver label "Busy Beaver".
- Busy_beaver label "Busy beaver".
- Busy_beaver label "Castor affairé".
- Busy_beaver label "Fleißiger Biber".
- Busy_beaver label "Pracowity bóbr".
- Busy_beaver label "ビジービーバー".
- Busy_beaver sameAs Fleißiger_Biber.
- Busy_beaver sameAs Castor_affairé.
- Busy_beaver sameAs Alacre_castoro.
- Busy_beaver sameAs ビジービーバー.
- Busy_beaver sameAs Busy_Beaver.
- Busy_beaver sameAs Pracowity_bóbr.
- Busy_beaver sameAs Algoritmo_do_castor.
- Busy_beaver sameAs m.0ht62.
- Busy_beaver sameAs Q1427965.
- Busy_beaver sameAs Q1427965.
- Busy_beaver sameAs Busy_beaver.
- Busy_beaver wasDerivedFrom Busy_beaver?oldid=605889321.
- Busy_beaver isPrimaryTopicOf Busy_beaver.