decider

(redirected from Machine that always halts)
Also found in: Wikipedia.

de·cide

 (dĭ-sīd′)
v. de·cid·ed, de·cid·ing, de·cides
v.tr.
1.
a. To reach a conclusion or form a judgment or opinion about (something) by reasoning or consideration: decide what to do.
b. To cause to make or reach a decision: "The presence of so many witnesses decided him at once to flee" (Robert Louis Stevenson).
2. To settle conclusively all contention or uncertainty about: decide a case; decided the dispute in favor of the workers.
3. To influence or determine the outcome of: A few votes decided the election.
v.intr.
1. To pronounce a judgment; announce a verdict.
2. To reach a decision; make up one's mind.

[Middle English deciden, from Old French decider, from Latin dēcīdere, to cut off, decide : dē-, de- + caedere, to cut; see kaə-id- in Indo-European roots.]

de·cid·a·bil′i·ty n.
de·cid′a·ble adj.
de·cid′er n.
Synonyms: decide, determine, settle, rule, conclude, resolve
These verbs mean to come to a decision about. Decide has the broadest range: The judge will decide the case on its merits. We decided to postpone our vacation for a week.
Determine has a similar range but often involves somewhat narrower issues: The doctor determined the cause of the infection. The jury will determine the fate of the defendant.
Settle stresses finality of decision: "The lama waved a hand to show that the matter was finally settled in his mind" (Rudyard Kipling).
Rule implies that the decision is handed down by someone in authority: The committee ruled that changes in the curriculum should be implemented.
Conclude suggests that a decision, opinion, or judgment has been arrived at after careful consideration: She concluded that the criticism was unjust.
Resolve stresses the exercise of choice in making a firm decision: I resolved to lose weight.
American Heritage® Dictionary of the English Language, Fifth Edition. Copyright © 2016 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company. All rights reserved.

decider

(dɪˈsaɪdə)
n
(General Sporting Terms) the point, goal, game, etc, that determines who wins a match or championship
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
Translations

decider

[dɪˈsaɪdəʳ] N (Brit) (Sport) (= game) → partido m decisivo; (= replay) → partido m de desempate, desempate m; (= point, goal) → gol m decisivo
Collins Spanish Dictionary - Complete and Unabridged 8th Edition 2005 © William Collins Sons & Co. Ltd. 1971, 1988 © HarperCollins Publishers 1992, 1993, 1996, 1997, 2000, 2003, 2005

decider

[dɪˈsaɪdər] (British) n (SPORT)
(= deciding game) → match m décisif
(= deciding goal) → but m décisif
Collins English/French Electronic Resource. © HarperCollins Publishers 2005

decider

n (Brit)
the decider was that …was den Ausschlag gab, war dass …, ausschlaggebend war, dass …
(= game)Entscheidungsspiel nt; (= goal)Entscheidungstreffer m
Collins German Dictionary – Complete and Unabridged 7th Edition 2005. © William Collins Sons & Co. Ltd. 1980 © HarperCollins Publishers 1991, 1997, 1999, 2004, 2005, 2007

decider

[dɪˈsaɪdəʳ] n (Sport) → spareggio
Collins Italian Dictionary 1st Edition © HarperCollins Publishers 1995