Accès plus rapide que le navigateur!
27 relations: Algorithme de Cocke-Younger-Kasami, Algorithme récursif, Analyse syntaxique, ANTLR, Automate à file, Automate fini, C (langage), Compilateur, Décidabilité, Ensemble des parties d'un ensemble, Géraud Sénizergues, Grammaire non contextuelle, Informatique théorique, Journal of Computer and System Sciences, Langage algébrique, Langage algébrique déterministe, Langage de programmation, Langage rationnel, Machine abstraite, Machine à compteurs, Machine de Turing, Palindrome, Pile (informatique), Prix Gödel, SIAM Journal on Computing, Théorie des automates, Theoretical Computer Science.
Algorithme de Cocke-Younger-Kasami
En informatique théorique et en théorie des langages, l'algorithme de Cocke-Younger-Kasami (CYK) est un algorithme d'analyse syntaxique pour les grammaires non contextuelles, publié par Itiroo Sakai en 1961.
Nouveau!!: Automate à pile et Algorithme de Cocke-Younger-Kasami · Voir plus »
Algorithme récursif
Un algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème.
Nouveau!!: Automate à pile et Algorithme récursif · Voir plus »
Analyse syntaxique
L' consiste à mettre en évidence la structure d'un texte, généralement une phrase écrite dans une langue naturelle, mais on utilise également cette terminologie pour l'analyse d'un programme informatique.
Nouveau!!: Automate à pile et Analyse syntaxique · Voir plus »
ANTLR
ANTLR, sigle de ANother Tool for Language Recognition, est un framework libre de construction de compilateurs utilisant une analyse LL(*), créé par Terence Parr à l'Université de San Francisco.
Nouveau!!: Automate à pile et ANTLR · Voir plus »
Automate à file
En informatique théorique, et notamment en théorie des automates, un automate à file (en anglais) est un automate fini doté d’une mémoire auxiliaire infinie organisée en file.
Nouveau!!: Automate à pile et Automate à file · 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!!: Automate à pile et Automate fini · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: Automate à pile et C (langage) · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Automate à pile et Compilateur · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Automate à pile et Décidabilité · Voir plus »
Ensemble des parties d'un ensemble
En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).
Nouveau!!: Automate à pile et Ensemble des parties d'un ensemble · Voir plus »
Géraud Sénizergues
Géraud Sénizergues, né le, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI).
Nouveau!!: Automate à pile et Géraud Sénizergues · 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!!: Automate à pile et Grammaire non contextuelle · Voir plus »
Informatique théorique
Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.
Nouveau!!: Automate à pile et Informatique théorique · Voir plus »
Journal of Computer and System Sciences
Le Journal of Computer and System Sciences (abrégé en « JCSS ») est une revue scientifique dans le domaine de l'informatique théorique dont les publications sont basées sur le principe de l'évaluation par les pairs.
Nouveau!!: Automate à pile et Journal of Computer and System Sciences · 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!!: Automate à pile et Langage algébrique · Voir plus »
Langage algébrique déterministe
En informatique théorique et en théorie des langages, un langage algébrique déterministe est un langage algébrique reconnu (par états finals) par un automate à pile déterministe.
Nouveau!!: Automate à pile et Langage algébrique déterministe · 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!!: Automate à pile et Langage de programmation · 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!!: Automate à pile et Langage rationnel · Voir plus »
Machine abstraite
En informatique théorique, et notamment en théorie des automates, un automate abstrait ou une machine abstraite est un modèle théorique d'un ordinateur digital et discret.
Nouveau!!: Automate à pile et Machine abstraite · Voir plus »
Machine à compteurs
En informatique théorique, une machine à compteurs est un modèle de calcul.
Nouveau!!: Automate à pile et Machine à compteurs · 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!!: Automate à pile et Machine de Turing · Voir plus »
Palindrome
Le palindrome (adjectif et substantif masculin), du grec / (« en arrière ») et / (« chemin, voie »), aussi appelé palindrome de lettres est une figure de style désignant un mot ou une phrase dont l'ordre des lettres reste le même qu'on les lise de gauche à droite ou de droite à gauche, comme dans la phrase ou encore à un accent près.
Nouveau!!: Automate à pile et Palindrome · Voir plus »
Pile (informatique)
En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (en anglais LIFO pour last in, first out), ce qui veut dire qu'en général, le dernier élément ajouté à la pile est le premier à en sortir.
Nouveau!!: Automate à pile et Pile (informatique) · Voir plus »
Prix Gödel
Le prix Gödel est une distinction créée en 1992 par l'European Association for Theoretical Computer Science (EATCS) et le Special Interest Group on Algorithms and Computation Theory (SIGACT) de l'Association for Computing Machinery (ACM) pour honorer des travaux remarquables d'informatique théorique.
Nouveau!!: Automate à pile et Prix Gödel · Voir plus »
SIAM Journal on Computing
La revue SIAM Journal on Computing (abrégée en SICOMP) est une revue scientifique centrée sur les aspects mathématiques et formelles de l’informatique.
Nouveau!!: Automate à pile et SIAM Journal on Computing · 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!!: Automate à pile et Théorie des automates · Voir plus »
Theoretical Computer Science
Theoretical Computer Science (abrégé en TCS) est une revue scientifique publiée par Elsevier Science, dont la parution a commencé en 1975 et qui couvre l'ensemble de l'informatique théorique.
Nouveau!!: Automate à pile et Theoretical Computer Science · Voir plus »
Redirections ici:
Automate a pile, Automate À Pile.
