About: Busy beaver

Property	Value
dbo:description	בעיה במדעי המחשב (iw) a halting, binary-alphabet Turing machine which writes the most 1s on the tape, using only a limited set of states (en) tipo di macchina di Turing (it) 컴퓨터 과학 이론에서 말하는 이론상의 최대와 관련된 기계 (ko) machine de Turing qui maximise son activité opérationnelle (fr) Turingmaschine für eine endliche, aber nicht berechenbar Zahl (de)
dbo:thumbnail	wiki-commons:Special:FilePath/Busy_Beaver_5_State_2_Color.png?width=300
dbo:wikiPageExternalLink	https://cogsci.rpi.edu/~heuveb/research/BB/ https://computation4cognitivescientists.weebly.com/uploads/6/2/8/3/6283774/rado-on_non-computable_functions.pdf https://computer.org/csdl/proceedings/focs/1964/5428/00/index.html https://cs.auckland.ac.nz/~chaitin/bellcom.pdf https://eecs.umich.edu/~qstout/abs/busyb.html https://rave.ohiolink.edu/etdc/view%3Facc_num=osu1486554418657614 https://scottaaronson.com/writings/bignumbers.html https://skelet.ludost.net/bb/RTM.htm https://turbotm.de/~heiner/BB/mabu90.html https://www.sligocki.com/2021/07/17/bb-collatz.html https://www2.mta.ac.il/~amirben/downloadable/bjz.ps https://archive.org/details/computabilitylog0000bool https://web.mit.edu/~dbriggs/www/ https://webusers.imj-prg.fr/~pascal.michel/bbc.html https://webusers.imj-prg.fr/~pascal.michel/ha.html https://skelet.ludost.net/bb/nreg.html https://turbotm.de/~heiner/BB/ https://web.archive.org/web/20061009135243/https:/drb.insel.de/~heiner/BB/mabu90.html%23 https://web.archive.org/web/20100709121641/https:/grail.cba.csuohio.edu/~somos/busy.html%23dewd https://web.archive.org/web/20101227082649/https:/dbriggs.scripts.mit.edu/forum/index.php https://web.archive.org/web/20121026023118/https:/web.mit.edu/~dbriggs/www/ https://youtube.com/watch%3Fv=CE8UhcyJS0I https://hal.archives-ouvertes.fr/hal-00396880v5
dbo:wikiPageWikiLink	dbr:Graham's_number dbr:Axiomatic_system dbc:Computability_theory dbr:Conway's_Game_of_Life dbr:Paul_Erdős dbr:Counterexample dbr:Mathematical_proof dbc:Metaphors_referring_to_animals dbr:European_Association_for_Theoretical_Computer_Science dbr:Conjecture dbr:If_and_only_if dbr:Goldbach's_conjecture dbr:Tibor_Radó dbr:Computable_function dbr:Mathematics_of_Computation dbc:Large_integers dbr:Zermelo–Fraenkel_set_theory dbr:Halting_problem dbr:Computability_theory dbr:Nondeterministic_Turing_machine dbr:Up_to dbr:Algorithm dbr:Physica_(journal) dbr:Theoretical_computer_science dbr:Computer_program dbr:Scientific_American dbr:Computational_complexity_theory dbr:Riemann_hypothesis dbr:Knuth's_up-arrow_notation dbr:Register_machine dbr:Asymptotic_analysis dbr:Journal_of_the_ACM dbr:Undecidable_problem dbc:Theory_of_computation dbr:Mathematical_game dbr:Kolmogorov_complexity dbr:Natural_number dbr:Turing_machine dbr:Axiom_of_choice dbr:Turmite dbr:Model_of_computation dbr:ZFC dbr:Ackermann's_function dbr:Theory_of_Computing_Systems dbr:Alexander_Dewdney dbr:Rayo's_number dbr:V:How_things_work_college_course/Turing_machine_quiz dbr:Knuth_up-arrow_notation dbr:Open_problem_in_mathematics dbr:Cellular_automata dbr:Mathematical_Systems_Theory dbr:Bell_System_Technical_Journal dbr:Chaitin's_incompleteness_theorem dbr:Endless_loop dbr:Gödel's_first_incompleteness_theorem dbr:Countable dbr:Noncomputable_function dbr:File:3-state,_2-symbol_Busy_Beaver_animation.gif dbr:File:4-state,_2-symbol_Busy_Beaver_animation.gif dbr:File:Busy_Beaver_5_State_2_Color.png dbr:Stationary_Ramsey_property
dbp:align	left (en)
dbp:caption	1.0 (dbd:second) Evolution of 2-state busy beaver until halt (en) Evolution of 3-state busy beaver until halt (en) Rules for 1-state busy beaver (en) Rules for 2-state busy beaver (en) Rules for 3-state busy beaver (en) Rules for 4-state busy beaver (en)
dbp:captionAlign	center (en)
dbp:direction	horizontal (en)
dbp:header	Evolution of busy beavers with 1–4 states (en)
dbp:headerAlign	center (en)
dbp:image	Busybeaver1.svg (en) Busybeaver1rules.png (en) Busybeaver2.svg (en) Busybeaver2rules.png (en) Busybeaver3.svg (en) Busybeaver3rules.png (en) Busybeaver4.png (en) Busybeaver4rules.png (en)
dbp:imageGap	0 (xsd:integer)
dbp:perrow	4 (xsd:integer)
dbp:project	Wikiversity (en)
dbp:text	dbr:V:How_things_work_college_course/Turing_machine_quiz
dbp:title	Busy Beaver (en)
dbp:urlname	BusyBeaver (en)
dbp:width	75 (xsd:integer) 200 (xsd:integer) 225 (xsd:integer) 300 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Authority_control dbt:Cite_book dbt:Cite_web dbt:Math dbt:Overline dbt:Cite_journal dbt:Cite_conference dbt:For dbt:OEIS dbt:Unreferenced dbt:Multiple_issues dbt:Sup dbt:Citation_style dbt:Refend dbt:MathWorld dbt:Sister_project dbt:Val dbt:Refbegin dbt:Multiple_image dbt:OEIS_el dbt:Citation_needed dbt:Technical dbt:Not_in_citation dbt:Cite_thesis dbt:For_multi dbt:Underline dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Metaphors_referring_to_animals dbc:Large_integers dbc:Theory_of_computation
rdfs:label	Busy beaver (en) Fleißiger Biber (de) Alacre castoro (it) Castor affairé (fr) ビジービーバー (ja) 바쁜 비버 (ko) Busy beaver (nl) Algoritmo do castor (pt) Pracowity bóbr (pl) 忙碌的海狸 (zh)
owl:sameAs	freebase:Busy beaver yago-res:Busy beaver http://d-nb.info/gnd/4282517-9 wikidata:Busy beaver dbpedia-it:Busy beaver dbpedia-nl:Busy beaver dbpedia-de:Busy beaver dbpedia-fr:Busy beaver dbpedia-zh:Busy beaver dbpedia-ja:Busy beaver dbpedia-pt:Busy beaver dbpedia-he:Busy beaver dbpedia-pl:Busy beaver dbpedia-ko:Busy beaver dbpedia-fi:Busy beaver dbpedia-global:Busy beaver
prov:wasDerivedFrom	wikipedia-en:Busy_beaver?oldid=1296366375&ns=0
foaf:depiction	wiki-commons:Special:FilePath/3-state,_2-symbol_Busy_Beaver_animation.gif wiki-commons:Special:FilePath/4-state,_2-symbol_Busy_Beaver_animation.gif wiki-commons:Special:FilePath/Busy_Beaver_5_State_2_Color.png wiki-commons:Special:FilePath/Busy_Beaver_5_spacetime.png wiki-commons:Special:FilePath/Busybeaver1.svg wiki-commons:Special:FilePath/Busybeaver1rules.png wiki-commons:Special:FilePath/Busybeaver2.svg wiki-commons:Special:FilePath/Busybeaver2rules.png wiki-commons:Special:FilePath/Busybeaver3.svg wiki-commons:Special:FilePath/Busybeaver3rules.png wiki-commons:Special:FilePath/Busybeaver4.png wiki-commons:Special:FilePath/Busybeaver4rules.png
foaf:isPrimaryTopicOf	wikipedia-en:Busy_beaver
is dbo:knownFor of	dbr:Tibor_Radó
is dbo:wikiPageDisambiguates of	dbr:BB dbr:Beaver_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Busy_Beaver_game dbr:N-state_busy_beaver_game dbr:Maximum_shifts_function dbr:Busy-beaver dbr:Busy_Beaver dbr:Busy_Beaver_Number dbr:Busy_Beaver_Problem dbr:Busy_Beaver_function dbr:Busy_Beaver_problem dbr:Busy_beaver_function dbr:Busy_beaver_problem dbr:Generalized_busy_beaver_functions dbr:BB-n_game
is dbo:wikiPageWikiLink of	dbr:Graham's_number dbr:List_of_computability_and_complexity_topics dbr:List_of_undecidable_problems dbr:Sigma_(disambiguation) dbr:107_(number) dbr:BB dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Computable_set dbr:Tibor_Radó dbr:Computable_function dbr:Halting_problem dbr:Large_numbers dbr:Sigma_function dbr:Algorithm dbr:Sigma dbr:North_American_beaver dbr:Mathematical_logic dbr:Knuth's_up-arrow_notation dbr:Register_machine dbr:Beaver_(disambiguation) dbr:Zip_bomb dbr:Post–Turing_machine dbr:Turing_machine dbr:Busy_Beaver_game dbr:N-state_busy_beaver_game dbr:Maximum_shifts_function dbr:Busy-beaver dbr:Busy_Beaver dbr:Busy_Beaver_Number dbr:Busy_Beaver_Problem dbr:Busy_Beaver_function dbr:Busy_Beaver_problem dbr:Busy_beaver_function dbr:Busy_beaver_problem dbr:Generalized_busy_beaver_functions dbr:BB-n_game
is dbp:knownFor of	dbr:Tibor_Radó
is foaf:primaryTopic of	wikipedia-en:Busy_beaver