17 relations: Étoile de Kleene, Clôture (mathématiques), Complémentaire (théorie des ensembles), Concaténation, Ensemble récursif, Hiérarchie de Chomsky, Informatique, Intersection (mathématiques), Langage formel, Langage rationnel, Logique, Machine de Turing, Mathématiques, Problème de l'arrêt, Récursivement énumérable, Théorie de la calculabilité, Union (mathématiques).
É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 récursif et Étoile de Kleene · Voir plus »
Clôture (mathématiques)
On parle de clôture ou de fermeture en mathématiques dans des contextes très divers.
Nouveau!!: Langage récursif et Clôture (mathématiques) · 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 récursif 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 récursif et Concaténation · Voir plus »
Ensemble récursif
En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d'entiers (ou d'éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique.
Nouveau!!: Langage récursif et Ensemble récursif · 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 récursif et Hiérarchie de Chomsky · 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 récursif et Informatique · Voir plus »
Intersection (mathématiques)
Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes: l'intersection de deux ensembles A et B est l'ensemble, noté, dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là.
Nouveau!!: Langage récursif et Intersection (mathématiques) · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Langage récursif et Langage formel · 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 récursif et Langage rationnel · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Langage récursif et Logique · 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 récursif et Machine de Turing · 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 récursif et Mathématiques · Voir plus »
Problème de l'arrêt
L'animation illustre une machine impossible: il n'y a pas de machine qui lit n'importe quel code source d'un programme et dit si son exécution termine ou non. En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette entrée ou non.
Nouveau!!: Langage récursif et Problème de l'arrêt · 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 récursif et Récursivement énumérable · 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 récursif et Théorie de la calculabilité · Voir plus »
Union (mathématiques)
Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base.
Nouveau!!: Langage récursif et Union (mathématiques) · Voir plus »