• 在计算机科学中,忙碌海狸(Busy Beaver)是一个在给定参数后,寻找可能产生最大输出可终止程序。忙碌海狸游戏包括设计一个可终止,只输出0或1图灵机,让其在一条纸带上尽可能多输出1. 包含两个状态忙碌海狸游戏有下面两条规则: 该图灵机包括除终止态以外两个状态 纸带初始值都是0...
    10 KB (1,181 words) - 12:47, 20 March 2025
  • 有些定義方式會用上述的定義略作修改,例如log2 n改為n,或是下取整函數改為上取整函數。 有些研究則是用上述的定義,但是令m為常數,因此只需要一個輸入值。 迭代冪次 忙碌海狸 Wilhelm Ackermann, Zum Hilbertschen Aufbau der reelen Zahlen, Math. Annalen...
    8 KB (942 words) - 07:20, 18 June 2025
  • 文件在未压缩时会产生相同副本。 还有一种复杂 zip 炸弹形式,它利用 zip 文件规范和Deflate压缩算法来创建炸弹,而无需使用 42.zip 那样嵌套。 十亿笑声(英语:Billion laughs),对XML解析器类似攻击 电邮炸弹 邏輯炸彈 Fork炸弹 忙碌海狸,在终止之前尽可能多地输出数据程序。...
    4 KB (503 words) - 03:17, 14 November 2022
  • 邱奇-图灵论题 (category 含有过时参数引用页面)
    我们可以正式定义不可计算函数。一个有名例子是忙碌海狸函数。该函数接受输入n,返回具有n个状态图灵机在停机之前所能打印最大符号数量。找到忙碌海狸函数上限等于解决停机问题,该问题已被确定不能使用图灵机解决。由于海狸很忙函数不能被图灵机计算, 邱奇-图灵论题断言该函数不能使用任何方法进行有效计算。...
    13 KB (2,092 words) - 09:01, 16 October 2024
  • 拉多·蒂博爾 (category 含有hCards条目)
    。1933年,拉多發表《論普拉托問題》,給出了普拉托問題解決方案;1935年,他又發表《次諧函數》。1962年5月,他在《貝爾系統技術雜誌(英语:Bell Labs Technical Journal)》上發表了他最著名成果之一:忙碌海狸函數及其不可計算性(《論不可計算函數》)。...
    6 KB (540 words) - 18:21, 29 August 2024
  • 奧斯卡·辛德勒 (category 含有过时参数引用页面)
    海狸鼠,后者皮毛有一定经济价值。可到了1958年就已经破产。然后他离开妻子返回德国,尝试经营包括水泥厂在内多个产业,但都没有成功。1963年,他再次宣布破产,并于次年因心脏病发而入院治疗了一个月。辛德勒与战争期间认识许多犹太人保持着联系,来自世界各地“辛德勒犹太人”...
    39 KB (6,175 words) - 14:13, 14 April 2025
  • 美國卡車模擬 (category 含有冗余参数引用页面)
    Simulator)是一款由捷克公司SCS Software開發交通工具模拟游戏,屬《歐洲卡車模擬2》同一系列續作。遊戲於2016年2月3日正式發布。遊戲世界地圖位于美國中部和西部地區;玩家可以駕駛鉸接式卡車駛入多處地點運輸站來運送貨物。隨着遊戲進展,玩家將可以購買更多...
    51 KB (2,518 words) - 09:59, 11 July 2025
  • 降世神通:柯拉傳奇 (category 自2015年12月連結格式不正確條目)
    致力為父親所希望理想而忙碌於共和城中,共和城議會中大氣牧族代表身分讓他對科拉截氣神功修練課程一再延後,直到科拉偷偷離開南極來到共和城。和家族居住在大氣寺島。 雖然常對科拉任性頭痛不已,但還以長輩身份關心著她。表面很嚴肅,但暗中也有調皮一面。 本人曾表示不喜歡御術競技,卻對競技規則有著相當程度了解,也曾在狼蝠隊選手違規時表示批判。...
    42 KB (6,405 words) - 10:29, 11 April 2025
  • 麻辣女孩角色列表 (category 有蓝链却未移除内部链接助手模板页面)
    原本只是普通高中生,為了承接一些零星打工機會架設了個人網站,宣稱無所不能,因緣際會成為打擊犯罪超級英雄。 容貌端正,身手敏捷,戰鬥能力高強,學業成績亦有相當水準並擔任啦啦隊隊長,是學校裡風雲人物。由於參加大量活動,即使在打擊犯罪外生活也相當忙碌。性格要求完美,大多數時候也相信自己沒有辦不到事。 穿著中空裝是她...
    59 KB (10,560 words) - 18:21, 10 December 2024