carattere

carattere

carattere uno qualsiasi dei simboli utilizzati per costruire una teoria formale. Il loro insieme è detto alfabeto. Per esempio, dell’alfabeto A = {a, b, c, d, ...} le lettere a, b, c... sono i caratteri. Una sequenza finita di caratteri è detta stringa o parola dell’alfabeto; per esempio, la scrittura 1001010 è una stringa o parola dell’alfabeto che ha come caratteri 0 e 1. Tra i caratteri di un alfabeto si considera anche il → carattere vuoto, intuitivamente interpretabile come lo spazio vuoto che separa due stringhe. In generale un carattere può essere una lettera, un numero, un segno di interpunzione o un qualsiasi simbolo che appartenga a un dato alfabeto. Nell’alfabeto di un linguaggio formale, sono presenti, come caratteri, anche simboli logici quali i connettivi (nel linguaggio delle proposizioni e nel linguaggio dei predicati) e i quantificatori (nel linguaggio dei predicati).

☐ In informatica, ciascuno dei simboli alfanumerici o speciali usati in un sistema di elaborazione (lettere dell’alfabeto, cifre decimali, segni di interpunzione e di controllo ecc.), rappresentati da un byte, ovvero da diverse sequenze di bit. Il termine è impropriamente usato anche come sinonimo di font, per indicare cioè il tipo di rappresentazione del simbolo.