Croatian |
has gloss | hrv: 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. |
lexicalization | hrv: Stroj koji uvijek staje |
Italian |
has gloss | ita: 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. |
lexicalization | ita: macchina che termina sempre |
Portuguese |
has gloss | por: Na Teoria da Computação, uma Máquina de Turing que sempre para é uma Máquina de Turing que para para qualquer entrada. |
lexicalization | por: Máquina de Turing que sempre para |
lexicalization | por: Máquina de Turing que sempre pára |
Russian |
lexicalization | rus: Машины которые всегда останавливаются |
lexicalization | rus: Машины, которые всегда останавливаются |
Serbian |
has gloss | srp: У теорији израчунљивости, машина која увек стаје или одлучивач или тотална Тјурингова машина је Тјурингова машина која стаје за сваки улаз. |
lexicalization | srp: Машина која увек стаје |
Chinese |
has gloss | zho: 在可计算性理论中,总是停机的机器也叫做判定器(,1996年)或全图灵机(,1997年)是对所有输入总是停机的图灵机。 |
lexicalization | zho: 判定器 |