Estensione del file di testo: tipi e aspetti principali della determinazione della proprietà del programma