halting problem
undecidable
semi-infinite
time complexity
RE
P
time out
nonparametric
transversality condition
Zeno
finitize
sitting
NC
loop
transfinite
batch
finitary
autoreducible
recursive function
clockable
recursive
arbitrary-precision arithmetic
base case
batch processing
Turing degree
draw straws
finitely
call
algebraical
finitizability
niceness
Ross-Littlewood paradox
pseudoinfinite
run-time
terminating
hypertask
random number
stopping time
burn off
penalty function
exit
static
abend
second best
underevaluate
computable
dynamic
uniprogramming
run time
dynamical system
planned obsolescence
oracle machine
cutoff
noncomputable
acceptor
busy beaver
turnpike
osculation
determinable
Collatz conjecture
overspecify
terminate
complexity theory
dynamic dispatch
operating time
logic error
borrowed time
terminable
timeout
bloatware
multiplication
softcode
critical path
nonconcurrency
finite-state automaton
decidable
rerun
supertask
NP-easy
least common multiple
real time
optimize out
time
voluntary
like painting the Forth Bridge
unparser
go short
Franklinize
finiteness
polynomial time
underprocess
thunk
pace
finitude
finitization
limit
fixed-cycle operation
boundedness

English words for 'The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.'

As you may have noticed, above you will find words for "The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.". Hover the mouse over the word you'd like to know more about to view its definition. Click search related words by phrase or description. to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.

Recent Queries

taro pompous. to demand gratitude fleur-de-lis snow blindness checkers worries a hobgoblin. air force resourceful and quick-witted written explanation to look like A walker even (with) dominating heavy work user name To speak open ditch aquaphobia. strange theory In an American manner popping strenuous FTP to scurry. to be suppressed street palanquin coronet gentle. descent. all over the country bilingualism sub-temple gambling den habitation. Addison's disease tubular. mummy barber shop stylet adhesive tape as one likes the Goat along the way intentional. showiness persistently to take off barracks