Résultats de la recherche

...is, comme par exemple dans les [[Grand modèle de langage|grands modèles de langage]]. == Définition == ...

Un '''encodage sémantique''' est une traduction entre deux [[langage formel|langages formels]]. ...] pour [[Objective Caml]], procèdent à des encodages entre divers langages de programmation. ...

...amène à considérer de nouvelles classes comme [[co-NP]], le complémentaire de [[NP (complexité)|NP]]. ==Définition formelle== ...

...ou '''''n''-liste''' est une [[Suite (mathématiques)|collection ordonnée]] de {{Mvar|n}} objets, appelés « composantes » ou « éléments » ou « termes » du ..., sous la forme de ''struct'' ([[C (langage)|C]]) ou ''record'' ([[Pascal (langage)|Pascal]]). ...

{{Infobox Langage de programmation}} ...io ou les [[logiciels]]. Ce langage est développé par le [[Centre national de création musicale|GRAME]] depuis 2002, l'implémentation principale est un [ ...

...es langages de programmation qui est de définir les listes par énumération de ses éléments. ...ntaxique offre des avantages de lisibilité et de concision et se rapproche de la notation utilisée en mathématiques : ...

...e des [[langage rationnel|langages rationnels]]. En particulier, le nombre de langages stochastiques est non dénombrable (alors que celui des langages ra ...{harv|Paz, 1971|réf=Paz}} est un livre dédié.</ref>{{,}}<ref>Le chapitre 2 de {{harv|Salomaa, 1969|réf=Arto}} considère les automates probabilistes.</ref ...

...s réalisent des traductions et des adaptations, elles entraînent des coûts de développement supplémentaires par rapport à des communications directes. * Une [[interface de programmation]] permet des échanges entre plusieurs [[logiciel]]s ; ...

...[[Négation logique|négation]] de la [[Implication réciproque|réciproque]] de l'[[Implication (logique)|implication]]. == Définition == ...

...iquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la [ ...tion'' est une [[Fonction (mathématiques)|fonction]] qui a pour domaine un langage formel et pour cible un modèle. ...

...onction logique|fonctions logiques]]) reliées entre elles. C'est une façon de représenter une [[fonction booléenne]]. ...reconnaissent un langage permettent de définir (ou redéfinir) des classes de complexité. ...

...rogramme manipule ses propres instructions pendant son exécution, on parle de [[Réflexion (informatique)|programme auto-modifiant]]<ref>{{Lien web |titre ...n résultat constant, afin d'éviter un calcul manuel. Elle permet également de réduire le temps d'exécution du programme si le résultat constant avait été ...

...e [[diagramme états-transitions]] d'une machine de Moore avec une fonction de transition partielle. Les entrées sont ''x'', ''y'', ''z'', et les sorties ...e est émise lorsque l'état est atteint. En particulier, la longueur du mot de sortie est égale à la longueur du mot d'entrée. ...

...n entre [[Lettre (alphabet)|lettres]] de l'alphabet latin et des séquences de sons courts et longs. ...de la communication]], un code au sens le plus large fait référence à un [[langage]]. Toute communication est basée sur l'échange d'informations engendrées pa ...

...Appartenance (mathématiques)|éléments]]) qui le compose au moyen de règles de construction ([[Constructeur (programmation)|constructeurs]]) qui agencent ....e. qui est défini partout, l'induction structurelle est aussi une méthode de ''démonstration'' d'une propriété sur une structure. ...

...athématique]] et de [[métrique (mathématiques)|métrique]] pour les chaînes de caractères. .... Elle est utilisée dans la [[recherche approximative]] ou la comparaison de chaînes, aussi appelée en anglais ''fuzzy string searching''. ...

...{{Grec ancien|ανα-}} = vers le haut; [[morphisme]] = forme) est un concept de la [[programmation fonctionnelle]] fondé sur la [[théorie des catégories]]. ...la création générique de liste au cadre des [[type (informatique)|types de données]] arbitraires qui peuvent être décrites par des [[coalgèbre]]s finales (ou ...

...nné s'il termine dans un état final à la racine. Comme pour les automates de mots, un automate cheminant peut être déterministe ou non. == Définition == ...

...ar rapport à l'effet produit. Et l'usage conjoint du langage de scripts et de la géométrie dynamique permet d'avoir des figures à la fois complexes et dy ...]]. Mais la suite, DrGeoII, est dotée du langage [[SmallTalk]] (qui est un langage objet, donc pas tout à fait conforme aux attendus du programme d'algorithmi ...

En [[mathématiques]], une '''algèbre de Kleene''' (du nom du [[Logique|logicien]] américain [[Stephen Cole Kleene]] ...classiques, les algèbres de Kleene sont basées sur la [[logique ternaire]] de Kleene. ...