S-udtryk

S-udtryk i Lisp læses ved hjælp af READ-funktionen. Denne funktion læser den tekstlige repræsentation af S-udtrykket og returnerer Lisp-dataene. PRINT-funktionen kan bruges til at udskrive et S-udtryk. Hvad PRINT returnerer kan læses ved hjælp af READ-funktionen, forudsat at alle outputdataobjekter har en I/O-repræsentation. Lisp har denne repræsentation for tal, strenge, tegn, lister og mange flere datatyper. Programkode kan repræsenteres som et pænt formateret (temmelig trykt) S-udtryk ved hjælp af PPRINT-funktionen.

Lisp-programmer er gyldige S-udtryk, men ikke alle S-udtryk er gyldige Lisp-programmer. (1.0 + 3.1) er et gyldigt S-udtryk, men ikke et gyldigt Lisp-program, bruger Lisp præfiksnotation, så det flydende tal (1.0) kan ikke genkendes som en operation (det første element i udtrykket).

Standardisering

I maj 1997 foreslog Ronald Rivest Internet Draft 3] en ny RFC Projektet definerede en syntaks baseret på Lisps S-udtryk, men beregnet til generel datalagring og -udveksling svarende til XML , snarere end til programmering. Den blev aldrig godkendt som RFC, men er siden blevet citeret og brugt af andre RFC'er (f.eks . RFC 2693 ) og en række andre publikationer. [4] Det var oprindeligt beregnet til brug i SPKI .

Rivest-formatet definerer et S-udtryk som enten en oktet-streng (en række af bytes ) eller en endelig liste over andre S-udtryk. Den beskriver tre udvekslingsformater for udtryk med denne struktur. En af dem, "avanceret transport", er ret fleksibel med hensyn til formatering og ligner syntaktisk udtryk i Lisp-stil, men er ikke identisk. Den udvidede transportrepræsentation tillader for eksempel oktetstrenge at blive repræsenteret ordret (længden af ​​strengen, derefter et kolon og hele strengen "som den er"), hvilket undgår tegn, hexadecimal eller base64- repræsentation, en oktetstreng kan være placeres direkte som et "token".", hvis det opfylder visse betingelser. Rivests tokens adskiller sig fra Lisps tokens ved, at de kun eksisterer for bekvemmelighed og æstetik, og behandles på samme måde som andre strenge, snarere end at have en specifik syntaktisk betydning. Et andet udvekslingsformat, beregnet til at være mere kompakt, lettere at parse og unikt for ethvert abstrakt S-udtryk, er den "kanoniske notation", som kun tillader ordret strenge og ikke tillader mellemrum som formateringselementer uden for strenge. Endelig er der den "grundlæggende transportrepræsentation", som enten er den kanoniske form eller de samme Base64-kodede elementer omgivet af parenteser , hvor sidstnævnte tjener som en sikker transport for kanonisk-kodede S-udtryk i et system, der tillader modifikation af hvidt mellemrum (f.eks. et postsystem, der har 80 linjer brede linjer overlejret på noget længere).

Dette format er ikke blevet udbredt til brug uden for SPKI. Rivest, på sin S-udtryk-webside, giver C -kildekoden til en parser og generator, der teoretisk kunne bruges i andre programmer, selvom licenseringen af ​​disse programmer ikke er klar. Der er dog ingen begrænsninger for uafhængige implementeringer af dette format. En gratis implementering kan findes på sexpr.sf.net og leon.bottou.org/projects/minilisp .

Se også

• M-udtryk
• bil og cdr
• ulemper
• Kanonisk
• dataserialiseringsformater

Noter

1. ↑ McCarthy, 1960 .
2. ↑ Gazdar / MelisH, Natural Language Processing in Lisp
3. ↑ Arkiveret kopi (link ikke tilgængeligt) . Hentet 5. februar 2010. Arkiveret fra originalen 1. december 2008. (ubestemt) 
4. ↑ rivest sexp - Google Scholar

Litteratur

• McCarthy John. Rekursive funktioner af symbolske udtryk og deres beregning ved maskine, del I. - Meddelelser fra ACM, 1960. - V. 3 , nr. 4 . - S. 184-195 .