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éveloppements<ref>Cette 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 Modèle:Article).</ref>. Construire des sigles récursifs est un jeu fréquent chez les hackers : Modèle:Citation bloc
Il faut faire un petit distinguo entre récursivité (ou induction) et coinduction :
- le sigle récursif est une construction naturelle : Modèle:Pas clair. En définitive, Modèle:Pas clair, 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.
- Soit GTK : the GNU's Not UNiplexed Information and Computing Service Image Manipulation Program ToolKit
- RAP : Rich AJAX Platform.
- Soit RAP : Rich Asynchronous JavaScript And eXtensible Markup Language Platform
On trouve également de nombreux sigles imbriqués en sciences de la vie, par exemple la protéine CRTC1 :
- Modèle:Lien : 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 Modèle:Lien sur l'ADN
- Modèle:Lien : cAMP Response Element, élément de l'ADN qui répond à une stimulation par l'AMPc
- cAMP : cyclic Adenosine Monophosphate
- Modèle:Lien : cAMP Response Element, élément de l'ADN qui répond à une stimulation par l'AMPc
- CREB : CRE-Binding protein, protéine qui se lie à l'élément Modèle:Lien sur l'ADN
- Soit Modèle:Lien : cyclic Adenosine Monophosphate Response Element Binding protein Regulated Transcription Coactivator 1
Exemples de sigles récursifs
La plupart des explications données ici sont des plaisanteries, et certains ne sont pas de vrais sigles.
- 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 Le logo GNU).
- 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 sigle 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
Exemple de paire de sigles mutuellement récursifs
- HURD : Hird of Unix-Replacing Daemons et HIRD : Hurd of Interfaces Representing Depth<ref>Selon le site http://www.gnu.org/software/hurd/hurd.html : {{#invoke:Langue|indicationDeLangue}} Modèle:Citation étrangère</ref>.
