Sigla di end-of-file che, in informatica, indica il dato (carattere, parola, record ecc.) utilizzato per rappresentare la fine di un flusso di dati o di un archivio.