検索結果- 英語 - 多言語
検索内容:
halts
halt
to stop moving or stop doing something
( present singular third-person )
( participle present )
( participle past )
( past )
grind to a halt
(intransitive, of an activity) To come to a standstill, or cease to be productive or make progress, due to an obstacle.
( present singular third-person )
( participle present )
( participle past )
( past )
halting problems
plural of halting problem
call a halt
(transitive with to) Force (something) to stop.
( present singular third-person )
( participle present )
( participle past )
( past )
halting sites
plural of halting site
halting site
(Ireland) A council-sponsored campsite for members of the Travelling Community.
half-halts
half-halt
A specific riding aid given by an equestrian to his/her horse, in which the driving aids and restraining aids are applied in quick succession, used as a warning signal or to rebalance the horse.
halting problem
(computer science) The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.