Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Programmateur de pucevignette|Photographie d'un EPROM En électronique, un programmateur, appelé aussi programmeur ou encore multicopieur, est un appareil qui permet la copie ou la programmation des puces électroniques. Dans le cas d'une mémoire électronique réinscriptible certains programmateurs permettent l’effacement de ces puces. Ce dispositif est utilisé pour changer l'état des mémoires non volatiles d'un circuit logique programmable tels que les PROM, EPROM, EEPROM, PIC, Flashs... Circuit logique programmable Microcontrôle
Programmation in-situvignette|Dans l'adaptateur de programmation système La programmation in-situ (In-System Programming ou ISP) est une fonctionnalité qui permet aux composants électroniques (microcontrôleurs en particulier) d'être (re)programmés alors qu'ils sont déjà en place dans le système électronique qu'ils doivent piloter. Ceci évite d'avoir besoin de programmer le composant en dehors du montage complet à l'aide d'un programmateur dédié.
