Sigle récursif

Un sigle autoréférentiel ou récursif est un sigle qui fait appel à la récursivité et plus précisément à l'autoréférence dans un procédé de mise en abyme littéraire. On parle aussi d'autonymie. On trouve des sigles récursifs essentiellement en développement informatique et en sciences de la nature.

Principes La forme développée du sigle contient sa forme réduite, qui peut alors se développer à nouveau et ainsi de suite, en une suite infinie de développementsCette méthode d'évaluation d'une fonction récursive par remplacement d'un appel par sa définition s'appelle la réduction de Gross-Knuth (voir par exemple ).. Construire des sigles récursifs est un jeu fréquent chez les hackers :

Il faut faire un petit distinguo entre récursivité (ou induction) et coinduction : le sigle récursif est une construction naturelle : . En définitive, , ce qui crée une autoréférence. L'exemple le plus caractéristique est celui du W3 pour WWW. Le sigle n'est alors plus imbriqué. un sigle coinductif se définit formellement ainsi : « l'un des mots du sigle est le sigle lui-même ». Le sigle coinductif est donc un sigle auto-imbriqué. Cette construction conduit à un processus qui ne s'arrête pas.

Exemples de sigles imbriqués (mais non récursifs) Deux exemples d'imbrications multiples :

GTK : the GIMP ToolKit. GIMP : GNU Image Manipulation Program. GNU : GNU's Not UNIX. UNIX : UNiplexed Information and Computing Service.

RAP : Rich AJAX Platform. AJAX : Asynchronous JavaScript And XML. XML : eXtensible Markup Language.

On trouve également de nombreux sigles imbriqués en sciences de la vie, par exemple la protéine CRTC1 : : CREB-Regulated Transcription Coactivator 1, protéine qui coactive la transcription des gènes en se liant à CREB CREB : CRE-Binding protein, protéine qui se lie à l'élément sur l'ADN : cAMP Response Element, élément de l'ADN qui répond à une stimulation par l'AMPc cAMP : cyclic Adenosine Monophosphate

Exemples de sigles récursifs

Autour du logiciel Emacs EINE : EINE Is Not Emacs (« EINE n'est pas Emacs »). MINCE : Mince Is Not Complete Emacs (« Mince n'est pas complètement Emacs »). ZWEI : ZWEI Was EINE Initially (« ZWEI était initialement EINE »). EINE et ZWEI veulent dire en allemand respectivement « une » et « deux », ce qui donne : « DEUX était initialement UNE ». PEPE: "Pepe n'Est Pas Emacs" (éditeur de texte du système Le_Lisp) Bing : Bing is not Google. GAMBAS : Gambas Almost Means BASic (« GAMBAS signifie presque BASIC ») GNU : GNU's Not UNIX (« GNU n'est pas Unix ». Prononcer gnou ). LAME : Lame Ain't an MP3 Encoder (Lame n'est pas un encodeur mp3.). MiNT : MiNT is Not TOS (MiNT n'est pas TOS), puis MiNT is Now TOS (MiNT est maintenant TOS) après que l'auteur de MiNT a été embauché par Atari. XNU : XNU is Not Unix (« XNU n'est pas Unix ») PHP : PHP: Hypertext Preprocessor. (Historiquement, ce sigle récursif était l'abréviation de Personal Home Page ; en 2008, le sigle récursif est le sens officiel de PHP). TRM : TRM Recognizes Music. Visa : Visa International Service Association. WINE : Wine Is Not an Emulator (« Wine n'est pas un émulateur »). WINdows Emulator est techniquement incorrect. XNA : XNA's Not Acronymed (« XNA N'est pas un Acronyme »). YAML : YAML Ain't Markup language (« YAML n'est pas un langage de balisage ») ALLEGRO : Allegro Low LEvel Game ROutines. Allegro est une bibliothèque en C facilitant la programmation des jeux. Die PARTEI : Partei für Arbeit, Rechtsstaat, Tierschutz, Elitenförderung & basisdemokratische Initiative : ce « parti » est un canular, d'où son sigle récursif volontaire Dans la BD Dilbert : TTP : The TTP Project: étant une création humoristique, c'est un des rares sigles dont le sens original est un sigle récursif et, plus rare encore, dont la récursivité ne s'appuie pas sur la première lettre. Melt : Melt Extends LaTeX with Types SPARQL : SPARQL Protocol And RDF's Query Language Mega : MEGA Encrypted Global Access MICO : Mico is COrba B.O.S.S. : Boss Of Scandalz Strategyz KOS-MOS : Kosmos Obey Strategical Multiple Operation System INX : INX is not X

Exemple de paire de sigles mutuellement récursifs

HURD : Hird of Unix-Replacing Daemons et HIRD : Hurd of Interfaces Representing DepthSelon le site http://www.gnu.org/software/hurd/hurd.html : .

Notes et références

Voir aussi

Sigle récursif

Źródło i licencja