|
|
Requisiti sintattici:
"due segni sono indifferenti di carattere se ognuno di essič una iscrizione e nessuno appartiene ad un carattere a cui non appartiene l'altro"
"per ogni due caratteri K e K' e ogni segno S che non appartiene di fatto ad entrambi, č teoricamente possibile stabilire che S non appartiene a K o che S non appartiene a K'
Non ambiguitā
Classi di congruenza
disgiunte ( con nessun congruente in comune)
Differenziazione semantica finita: "per ogni coppia di caratteri K e K' tali che le loro classi di congruenza non siano identiche, e per ogni oggetto h che non sia congruente con entrambi deve essere teoreticamente possibile determinare che h non č congruente con k o che h non č congruente con K'"
Privacy |
Articolo informazione
Commentare questo articolo:Non sei registratoDevi essere registrato per commentare ISCRIVITI |
Copiare il codice nella pagina web del tuo sito. |
Copyright InfTub.com 2024