基本含義
halting的英式發音為/ˈhɒl.tɪŋ/,美式發音為/ˈhɑːl.t̬ɪŋ/。其核心形容詞含義為“stopping often while you are saying or doing something, especially because you are nervous”,即(尤指講話或動作因緊張而)結結巴巴的,斷斷續續的。
作為形容詞,halting還可表示猶豫的、蹣跚的或跛的。作為動詞,halting是halt的現在分詞形式,表示停止、蹣跚或猶豫。
典型例句為“He spoke quietly, in halting English.”
發展歷程
“halting”的詞源可追溯至古英語的 haltian(安格魯方言)和 healtian(西撒克遜方言),意為“跛行,瘸腿;猶豫”,其原始詞根可進一步上溯至原始日耳曼語的 *halton。作為名詞的“halting”(意為跛行或蹣跚的動作)在14世紀晚期出現。其比喻義(意為猶豫、遲疑)的使用則始於15世紀初。
基本特徵
“halting”主要用作形容詞,描述言語或動作因緊張、猶豫而頻繁停頓、不流暢的狀態。例如,“He spoke quietly, in halting English”。其英式發音為/ˈhɒl.tɪŋ/,美式發音為/ˈhɑːl.t̬ɪŋ/,中文常譯為“結結巴巴的”、“斷斷續續的”。作為動詞時,它是“halt”的現在分詞形式。
從詞源上看,“halting”源自古英語中表示“跛行、猶豫”的辭彙。其近義詞包括hesitant、faltering等,反義詞則有fluent。描述其行為方式的相關副詞為“haltingly”。
套用
在計算機科學領域,“halting”構成了核心概念“
停機問題(halting problem)”。停機問題的定義是:是否存在一種算法可以判定任意程式是否會停機?圖靈證明答案是否定的。原則上,這個問題是不可判定的。停機問題問的是:對於一個理想的計算設備(稱為
圖靈機),當給定某個輸入時,該設備將永遠運行還是最終會停止?現在人們已經知道,並不存在一個可為每台圖靈機解答這個問題的算法。
希爾伯特第十問題(關於
丟番圖方程)在數學上等同於停機問題。
在日常語言和語言學中,“halting”作為形容詞用於描述言語或行動,意為(尤指講話或動作因緊張而)結結巴巴的、斷斷續續的。例如,“He spoke quietly, in halting English。”在修辭上,“halting”與“fluent”構成反義關係。語言學中“fluent halting”構成反義修辭。
相關研究
停機問題是
計算機科學中著名的不可判定問題。該問題由
艾倫·圖靈於1936年在其論文《On computable numbers, with an application to the Entscheidungsproblem》中證明。
停機問題的不可判定性證明具有普遍的方法論意義。許多不可判定性證明通過證明相關問題等價於停機問題來完成。例如,
希爾伯特第十問題在數學上被證明等價於停機問題。
短語搭配
Halting Theorem 停機定理
halting point 停車站
Halting State 停機狀態 ; 懸置狀態
halting rope 攔河索
fluent halting 流暢的停頓(反義修辭)
halting problem [計] 停機問題 (Halting Problem)