Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Busy_beaver> ?p ?o }
- Busy_beaver abstract "In computability theory, a busy beaver is a Turing machine that attains the maximum number of steps performed, or maximum 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 mabu90.html.
- 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 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 wikiPageExternalLink watch?v=CE8UhcyJS0I.
- Busy_beaver wikiPageID "67911".
- Busy_beaver wikiPageLength "33981".
- Busy_beaver wikiPageOutDegree "53".
- Busy_beaver wikiPageRevisionID "676560060".
- Busy_beaver wikiPageWikiLink Ackermann_function.
- Busy_beaver wikiPageWikiLink Ackermanns_function.
- Busy_beaver wikiPageWikiLink Alexander_Dewdney.
- Busy_beaver wikiPageWikiLink Algorithm.
- Busy_beaver wikiPageWikiLink Asymptotic_analysis.
- Busy_beaver wikiPageWikiLink Axiomatic_system.
- Busy_beaver wikiPageWikiLink Bell_System_Technical_Journal.
- Busy_beaver wikiPageWikiLink Busy_beaver.
- Busy_beaver wikiPageWikiLink Category:Computability_theory.
- Busy_beaver wikiPageWikiLink Category:Large_integers.
- Busy_beaver wikiPageWikiLink Category:Theory_of_computation.
- Busy_beaver wikiPageWikiLink Cellular_automata.
- Busy_beaver wikiPageWikiLink Cellular_automaton.
- Busy_beaver wikiPageWikiLink Chaitins_incompleteness_theorem.
- Busy_beaver wikiPageWikiLink Computability_theory.
- Busy_beaver wikiPageWikiLink Computable_function.
- Busy_beaver wikiPageWikiLink Conjecture.
- Busy_beaver wikiPageWikiLink Conways_Game_of_Life.
- Busy_beaver wikiPageWikiLink Countable.
- Busy_beaver wikiPageWikiLink Countable_set.
- Busy_beaver wikiPageWikiLink Counterexample.
- Busy_beaver wikiPageWikiLink European_Association_for_Theoretical_Computer_Science.
- Busy_beaver wikiPageWikiLink Goldbachs_conjecture.
- Busy_beaver wikiPageWikiLink Grahams_number.
- Busy_beaver wikiPageWikiLink Gxc3xb6dels_first_incompleteness_theorem.
- Busy_beaver wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Busy_beaver wikiPageWikiLink Halting_problem.
- Busy_beaver wikiPageWikiLink Journal_of_the_ACM.
- Busy_beaver wikiPageWikiLink Knuth_up-arrow_notation.
- Busy_beaver wikiPageWikiLink Knuths_up-arrow_notation.
- Busy_beaver wikiPageWikiLink Kolmogorov_complexity.
- Busy_beaver wikiPageWikiLink List_of_unsolved_problems_in_mathematics.
- Busy_beaver wikiPageWikiLink Mathematical_Systems_Theory.
- Busy_beaver wikiPageWikiLink Mathematical_game.
- Busy_beaver wikiPageWikiLink Mathematical_proof.
- Busy_beaver wikiPageWikiLink Mathematics_of_Computation.
- Busy_beaver wikiPageWikiLink Model_of_computation.
- Busy_beaver wikiPageWikiLink Natural_number.
- Busy_beaver wikiPageWikiLink Noncomputable_function.
- Busy_beaver wikiPageWikiLink Open_problem_in_mathematics.
- Busy_beaver wikiPageWikiLink Physica_(journal).
- Busy_beaver wikiPageWikiLink Register_machine.
- Busy_beaver wikiPageWikiLink Scientific_American.
- Busy_beaver wikiPageWikiLink Theory_of_Computing_Systems.
- Busy_beaver wikiPageWikiLink Tibor_Radó.
- Busy_beaver wikiPageWikiLink Turing_machine.
- Busy_beaver wikiPageWikiLink Turmite.
- Busy_beaver wikiPageWikiLink Undecidable_problem.
- Busy_beaver wikiPageWikiLink Up_to.
- Busy_beaver wikiPageWikiLink Wolfram_Demonstrations_Project.
- Busy_beaver wikiPageWikiLinkText "Busy Beaver function".
- Busy_beaver wikiPageWikiLinkText "Busy beaver".
- Busy_beaver wikiPageWikiLinkText "Busy beaver#Generalizations".
- Busy_beaver wikiPageWikiLinkText "Busy beaver#The busy beaver game".
- Busy_beaver wikiPageWikiLinkText "busy beaver champion".
- Busy_beaver wikiPageWikiLinkText "busy beaver".
- Busy_beaver wikiPageWikiLinkText "busy beaver#Max shifts function".
- Busy_beaver hasPhotoCollection Busy_beaver.
- Busy_beaver title "Busy Beaver".
- Busy_beaver urlname "BusyBeaver".
- Busy_beaver wikiPageUsesTemplate Template:Authority_control.
- Busy_beaver wikiPageUsesTemplate Template:Cite_book.
- Busy_beaver wikiPageUsesTemplate Template:Cite_conference.
- Busy_beaver wikiPageUsesTemplate Template:Cite_journal.
- Busy_beaver wikiPageUsesTemplate Template:For.
- Busy_beaver wikiPageUsesTemplate Template:MathWorld.
- Busy_beaver wikiPageUsesTemplate Template:Multiple_issues.
- Busy_beaver wikiPageUsesTemplate Template:OEIS.
- Busy_beaver wikiPageUsesTemplate Template:Refbegin.
- Busy_beaver wikiPageUsesTemplate Template:Refend.
- Busy_beaver wikiPageUsesTemplate Template:Wikiversity.
- Busy_beaver subject Category:Computability_theory.
- Busy_beaver subject Category:Large_integers.
- Busy_beaver subject Category:Theory_of_computation.
- Busy_beaver hypernym Machine.
- Busy_beaver type Area.