E62 Chaîne de caractères

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

Sous-classe de

E59 Primitive Value

E59_Valeur_primitive

Super-classe de

Note d’application

This class comprises coherent sequences of binary-encoded symbols. They correspond to the content of an instance of E90 Symbolic object. Instances of E62 String represent only the symbol sequence itself. They may or may not contain a language code.

In contrast, instances of other subclasses of E59 Primitive value represent entities in mathematical spaces other than that of symbol sequences, by using binary-encoded symbols, such as date expressions or numbers in decimal encoding. For instance, different syntactic forms of a date expression may represent the same date but consist of different strings.

Cette classe comprend les séquences cohérentes de symboles en code binaire. Elles correspondent au contenu d’une instance de E90_Objet_symbolique. Les instances de E62_Chaîne_de_caractères représentent seulement la séquence de symboles en soi. Celles-ci peuvent contenir ou non un code de langue.

En revanche, les instances des autres sous-classes de E59_Valeur_primitive représentent les entités dans des espaces mathématiques autres que celui des séquences de symboles en code binaire, tels que des expressions de dates ou des nombres en codage décimal. Par exemple, différentes syntaxes exprimant une date peuvent représenter la même date, mais être constituées de différentes chaînes de caractères.

Exemples

  • “the quick brown fox jumps over the lazy dog”

  • “6F 6E 54 79 70 31 0D 9E”

  • « The quick brown fox jumps over the lazy dog »

  • « 6F 6E 54 79 70 31 0D 9E »

Logique

  • E62(x) ⇒ E59(x)

E62(x) ⇒ E59(x)

Propriétés

Note de traduction

Références