bn:00554043n
Noun Concept
Categories: Macchina di Turing
IT
macchina che termina sempre  Macchina che si stoppa sempre
IT
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 per cui, al contrario del modello generale, vi è garanzia che termini per ogni input. Wikipedia
English:
computability theory
Definitions
Relations
Sources
IT
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 per cui, al contrario del modello generale, vi è garanzia che termini per ogni input. Wikipedia