Nghĩa của từ decidable bằng Tiếng Đức

decidable [disaidəbl] bestimmba

Đặt câu có từ "decidable"

Dưới đây là những mẫu câu có chứa từ "decidable", trong bộ từ điển Từ điển Anh - Đức. Chúng ta có thể tham khảo những mẫu câu này để đặt câu trong tình huống cần đặt câu với từ decidable, hoặc tham khảo ngữ cảnh sử dụng từ decidable trong bộ từ điển Từ điển Anh - Đức

1. The rank problem is decidable for finite groups and for finitely generated abelian groups.

2. Analogising is a decidable or an undecidable task so we can say it is a decidable task if we are not only thinking of assessments by tests and assessments that can summarized in a mark or percentage or rank

3. In 1929 and 1930, it was proved the truth or falsity of all statements formulated about the natural numbers plus one of addition and multiplication, was decidable, i.e. could be determined by some algorithm.

4. Based on a decidable notion of recursivity of procedures (or functions) in ALGOL-like programs we define pseudo-recursive procedures to be those that do not need an activation record of their own on the runtime stack; their storage can be allocated within the activation record of a strictly-recursive (i.e. not pseudo-recursive) dynamic predecessor.

Ausgehend von einem entscheidbaren Rekursivitäts-Begriff von Prozeduren (oder Funktionen) in Algol-ähnlichen Programmen definieren wir eine pseudo-rekursive Prozedur als solche, die keine eigene Schachtel (activation record) auf dem Laufzeit-Keller benötigt; sie kann vielmehr innerhalb der Schachtel eines stark-rekursiven (d. h. eines rekursiven aber nicht pseudorekursiven) dynamischen Vorgängers abgelegt werden.