Accès plus rapide que le navigateur!
58 relations: Algèbre de mélange, Algorithmique, Apprentissage automatique, Automate à pile, Automate fini, Automate linéairement borné, Étoile de Kleene, Centraliseur, Chaîne vide, Classe de complexité, Compilateur, Complémentaire (théorie des ensembles), Concaténation, Expression régulière, Formule logique, Grammaire formelle, Grammaire non contextuelle, Hiérarchie de Chomsky, Imre Simon, Informatique, Langage algébrique, Langage congruentiel, Langage contextuel, Langage de programmation, Langage naturel, Langage rationnel, Langage récursif, Lexème, Linguistique, Logicisme, Logique de description, Logique mathématique, Loi de composition interne, Machine de Turing, Marcel-Paul Schützenberger, Mathématiques, Monoïde, Morphisme, Mot (mathématiques), Noam Chomsky, Nombre premier, Opération ensembliste, Philosophie linguistique, Problème de décision, Réécriture (informatique), Récursivement énumérable, Sémantique, Semigroup Forum, Syntaxe, Système axiomatique, ..., Système de transition d'états, Théorie de la calculabilité, Théorie de la complexité (informatique théorique), Théorie des automates, Traduction automatique, Transducteur fini, Vuibert, Zoltán Ésik. Développer l'indice (8 plus) »
Algèbre de mélange
En mathématiques, et notamment en combinatoire algébrique, une algèbre de mélange est une algèbre de Hopf dont la base est formée de mots sur un certain alphabet avec, comme produit, le produit de mélange x ш y de deux mots x et y: ce produit consiste en l'entrelacement, de toutes les manières possibles, les séquences de lettres composant les mots.
Nouveau!!: Langage formel et Algèbre de mélange · Voir plus »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Langage formel et Algorithmique · Voir plus »
Apprentissage automatique
L'apprentissage automatique.
Nouveau!!: Langage formel et Apprentissage automatique · Voir plus »
Automate à pile
Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates.
Nouveau!!: Langage formel et Automate à pile · Voir plus »
Automate fini
Fig. 1: Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais ou ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Nouveau!!: Langage formel et Automate fini · Voir plus »
Automate linéairement borné
En informatique théorique, et en particulier en théorie des automates, un automate linéairement borné (en anglais, abrégé en LBA) est une machine de Turing non déterministe qui n'utilise qu'une portion contiguë du ruban de taille linéaire en la taille de l'entrée.
Nouveau!!: Langage formel et Automate linéairement borné · Voir plus »
Étoile de Kleene
L'étoile de Kleene, parfois appelée fermeture de Kleene ou encore fermeture itérative, est, en théorie des langages, un opérateur unaire utilisé pour décrire les langages formels.
Nouveau!!: Langage formel et Étoile de Kleene · Voir plus »
Centraliseur
En théorie des langages, le centraliseur d'un langage L est le plus grand langage X solution de l'équation X \cdot L.
Nouveau!!: Langage formel et Centraliseur · Voir plus »
Chaîne vide
Dans la théorie des langages formels, la chaîne vide, noté ε, ne comporte aucune lettre.
Nouveau!!: Langage formel et Chaîne vide · Voir plus »
Classe de complexité
En informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource.
Nouveau!!: Langage formel et Classe de complexité · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Langage formel et Compilateur · Voir plus »
Complémentaire (théorie des ensembles)
En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie A d'un ensemble E est constitué de tous les éléments de E n'appartenant pas à A. Le complémentaire de A est.
Nouveau!!: Langage formel et Complémentaire (théorie des ensembles) · Voir plus »
Concaténation
Le terme concaténation (substantif féminin), du latin, « avec », et, « chaîne, liaison », désigne l'action de mettre bout à bout au moins deux chaînes de caractères ou de péricopes.
Nouveau!!: Langage formel et Concaténation · Voir plus »
Expression régulière
Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normaleD'après la de la norme ISO/IEC 9075:1989 par le Conseil du Trésor du Canada et qui est par le Bureau de la traduction du gouvernement du Canada.
Nouveau!!: Langage formel et Expression régulière · Voir plus »
Formule logique
En logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage.
Nouveau!!: Langage formel et Formule logique · Voir plus »
Grammaire formelle
Une grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné.
Nouveau!!: Langage formel et Grammaire formelle · Voir plus »
Grammaire non contextuelle
En linguistique et en informatique théorique, une grammaire algébrique, ou grammaire non contextuelle, aussi appelée grammaire hors-contexte ou grammaire « context-free » est une grammaire formelle dans laquelle chaque règle de production est de la forme où X est un symbole non terminal et \alpha est une chaîne composée de terminaux et/ou de non-terminaux.
Nouveau!!: Langage formel et Grammaire non contextuelle · Voir plus »
Hiérarchie de Chomsky
Hiérarchie de Chomsky. En informatique théorique, en théorie des langages, et en calculabilité, la hiérarchie de Chomsky (parfois appelée hiérarchie de Chomsky-Schützenberger) est une classification des grammaires formelles (et par extension, des langages formels respectifs engendrés par les grammaires), esquissée par Noam Chomsky en 1956, et décrite de façon formelle en 1959.
Nouveau!!: Langage formel et Hiérarchie de Chomsky · Voir plus »
Imre Simon
Imre Simon est un informaticien brésilien.
Nouveau!!: Langage formel et Imre Simon · Voir plus »
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Nouveau!!: Langage formel et Informatique · Voir plus »
Langage algébrique
En théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique.
Nouveau!!: Langage formel et Langage algébrique · Voir plus »
Langage congruentiel
Un langage congruentiel est un langage formel qui est la réunion d'un nombre fini de classes d'une congruence sur l'alphabet donné.
Nouveau!!: Langage formel et Langage congruentiel · Voir plus »
Langage contextuel
En informatique théorique, et spécialement en théorie des langages, un langage contextuel (en anglais) est un langage formel engendré par une grammaire contextuelle.
Nouveau!!: Langage formel et Langage contextuel · Voir plus »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Langage formel et Langage de programmation · Voir plus »
Langage naturel
Un langage naturel.
Nouveau!!: Langage formel et Langage naturel · Voir plus »
Langage rationnel
En théorie des langages, les langages rationnels ou langages réguliers ou encore langages reconnaissables peuvent être décrits de plusieurs façons équivalentes.
Nouveau!!: Langage formel et Langage rationnel · Voir plus »
Langage récursif
En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable.
Nouveau!!: Langage formel et Langage récursif · Voir plus »
Lexème
Le lexème ou unité lexicaleTerme utilisé par le Conseil supérieur de la langue française.
Nouveau!!: Langage formel et Lexème · Voir plus »
Linguistique
La linguistique est une discipline scientifique s’intéressant à l’étude du langage.
Nouveau!!: Langage formel et Linguistique · Voir plus »
Logicisme
Le logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique, définition tirée de S Korner, Philosophy of Mathematics (1960), chs 2, 3.
Nouveau!!: Langage formel et Logicisme · Voir plus »
Logique de description
Les logiques de description aussi appelées logiques descriptives (LD) sont une famille de langages de représentation de connaissance qui peuvent être utilisés pour représenter la connaissance terminologique d'un domaine d'application d'une manière formelle et structurée.
Nouveau!!: Langage formel et Logique de description · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Langage formel et Logique mathématique · Voir plus »
Loi de composition interne
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne est une application qui, à deux éléments d'un ensemble E, associe un élément de E. Autrement dit, c'est une opération binaire par laquelle E est stable.
Nouveau!!: Langage formel et Loi de composition interne · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Langage formel et Machine de Turing · Voir plus »
Marcel-Paul Schützenberger
Marcel-Paul Schützenberger, né le à Paris et mort le dans la même ville, est un scientifique français, dont les recherches ont d'abord porté sur la médecine et la biologie, mais surtout connu pour ses travaux en mathématiques, en informatique théorique et en combinatoire.
Nouveau!!: Langage formel et Marcel-Paul Schützenberger · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Langage formel et Mathématiques · Voir plus »
Monoïde
En mathématiques, un monoïde est une structure algébrique utilisée en algèbre générale, définie comme un ensemble muni d'une loi de composition interne associative et d'un élément neutre.
Nouveau!!: Langage formel et Monoïde · Voir plus »
Morphisme
visualisation du critère valuatif de w:morphismes propres En mathématiques, le morphisme est la relative similitude d'objets mathématiques considérés du point de vue de ce qu'ils partagent comme entités ou par leurs relations.
Nouveau!!: Langage formel et Morphisme · Voir plus »
Mot (mathématiques)
En mathématiques ou en informatique théorique, un mot est une suite finie w d'éléments pris dans un ensemble A. L'ensemble A est appelé lalphabet, ses éléments sont appelés symboles ou lettres.
Nouveau!!: Langage formel et Mot (mathématiques) · Voir plus »
Noam Chomsky
Noam ChomskyDe son nom complet Avram Noam Chomsky.
Nouveau!!: Langage formel et Noam Chomsky · Voir plus »
Nombre premier
Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.
Nouveau!!: Langage formel et Nombre premier · Voir plus »
Opération ensembliste
Les opérations ensemblistes sont les opérations mathématiques faites sur les ensembles, sans s'occuper de la nature des éléments qui composent ces ensembles.
Nouveau!!: Langage formel et Opération ensembliste · Voir plus »
Philosophie linguistique
En philosophie des sciences, la philosophie linguistique défend l'idée que les problèmes philosophiques sont des problèmes qui peuvent être résolus (ou dissous) soit en réformant le langage soit en comprenant mieux le langage que nous utilisons actuellement.
Nouveau!!: Langage formel et Philosophie linguistique · Voir plus »
Problème de décision
En informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ».
Nouveau!!: Langage formel et Problème de décision · Voir plus »
Réécriture (informatique)
En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises.
Nouveau!!: Langage formel et Réécriture (informatique) · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Langage formel et Récursivement énumérable · Voir plus »
Sémantique
La sémantique est une branche de la linguistique qui étudie les signifiés, ce dont on parle, ce que l'on veut transmettre par un énoncé, soit l'ensemble des processus concourant à la construction d'un sens dans la communication (langagière particulièrement).
Nouveau!!: Langage formel et Sémantique · Voir plus »
Semigroup Forum
La revue scientifique Semigroup Forum est un journal mathématique américain bimestriel (six numéros par an) publié par la maison d'édition Springer-Verlag.
Nouveau!!: Langage formel et Semigroup Forum · Voir plus »
Syntaxe
La syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue.
Nouveau!!: Langage formel et Syntaxe · Voir plus »
Système axiomatique
En mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes.
Nouveau!!: Langage formel et Système axiomatique · Voir plus »
Système de transition d'états
En informatique théorique, un système de transition d'états est une forme de machine abstraite utilisée pour modéliser un ou des calcul(s).
Nouveau!!: Langage formel et Système de transition d'états · Voir plus »
Théorie de la calculabilité
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.
Nouveau!!: Langage formel et Théorie de la calculabilité · Voir plus »
Théorie de la complexité (informatique théorique)
P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée…) requis par un algorithme pour résoudre un problème algorithmique.
Nouveau!!: Langage formel et Théorie de la complexité (informatique théorique) · Voir plus »
Théorie des automates
En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
Nouveau!!: Langage formel et Théorie des automates · Voir plus »
Traduction automatique
La traduction automatique désigne la traduction brute d'un texte entièrement réalisée par un ou plusieurs programmes informatiques.
Nouveau!!: Langage formel et Traduction automatique · Voir plus »
Transducteur fini
En informatique théorique, en linguistique, et en particulier en théorie des automates, un transducteur fini (appelé aussi transducteur à états finis par une traduction littérale de l'anglais) est un automate fini avec sorties.
Nouveau!!: Langage formel et Transducteur fini · Voir plus »
Vuibert
Vuibert, maison d’édition du groupe Albin Michel, publie par an dans des domaines riches et variés: management, gestion, efficacité professionnelle, préparation aux concours et aux examens, médecine et soins infirmiers mais aussi culture et société, histoire, sciences et nature, bien-être et santé….
Nouveau!!: Langage formel et Vuibert · Voir plus »
Zoltán Ésik
Zoltán Ésik, né le à Szeged et mort le à Reykjavík, est un mathématicien, informaticien théoricien et logicien hongrois.
Nouveau!!: Langage formel et Zoltán Ésik · Voir plus »
Redirections ici:
Langages formels, Théorie des langages.
