e/Machine that always halts

New Query

Information
has glosseng: In computability theory, a machine that always halts—also called a decider (Sipser, 1996) or a total Turing machine (Kozen, 1997)—is a Turing machine that halts for every input.
lexicalizationeng: Machine that always halts
instance ofe/Formal language
Meaning
Croatian
has glosshrv: U teoriji izračunljivosti, stroj koji uvijek staje — poznat i kao odlučitelj (Sipser, 1996) ili totalni Turingov stroj (Kozen, 1997) — je Turingov stroj koji staje za svaki ulaz.
lexicalizationhrv: Stroj koji uvijek staje
Italian
has glossita: Nella teoria della computabilità, una macchina che termina sempre — chiamata anche un decider o macchina di Turing totale — è un particolare di tipo di macchina di Turing che, al contrario del modello generale, è garantito che termini per ogni input.
lexicalizationita: macchina che termina sempre
Portuguese
has glosspor: Na Teoria da Computação, uma Máquina de Turing que sempre para é uma Máquina de Turing que para para qualquer entrada.
lexicalizationpor: Máquina de Turing que sempre para
lexicalizationpor: Máquina de Turing que sempre pára
Russian
lexicalizationrus: Машины которые всегда останавливаются
lexicalizationrus: Машины, которые всегда останавливаются
Serbian
has glosssrp: У теорији израчунљивости, машина која увек стаје или одлучивач или тотална Тјурингова машина је Тјурингова машина која стаје за сваки улаз.
lexicalizationsrp: Машина која увек стаје
Chinese
has glosszho: 在可计算性理论中,总是停机的机器也叫做判定器(,1996年)或全图灵机(,1997年)是对所有输入总是停机的图灵机。
lexicalizationzho: 判定器

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint