Accès plus rapide que le navigateur!
93 relations: ACM Transactions on Computational Logic, Agrégation (programmation), Alexandra Silva, Alphabet, Analyse lexicale, Analyse syntaxique, Apprentissage automatique, Ascenseur, Automate à file, Automate à jetons, Automate à pile, Automate cheminant, Automate d'arbres, Automate fini déterministe, Automate fini non déterministe, Automate pondéré, Automate programmable industriel, Automate quantique, État (informatique), État (patron de conception), Bascule (circuit logique), Biologie, Circuit logique programmable, Collège de France, Compilateur, Complexité générique des algorithmes, Conception assistée par ordinateur pour l'électronique, Construction par sous-ensembles, Contrôle de processus, Demi-anneau, Diagramme états-transitions, Diagramme de structure composite, Discrete Event System Specification, Distribution automatique, Epsilon, Expression régulière, Feu de circulation, Fonction logique, Fonction partielle, Génie logiciel, Gérard Berry, Grammaire, Graphe orienté, Grep, Informatique, Informatique théorique, Intelligence artificielle, Jeton, Langage formel, Langage humain, ..., Langage rationnel, Linguistique, Linguistique informatique, Logique, Logique combinatoire, Logique séquentielle, Machine à états abstraits, Machine de Mealy, Machine de Moore, Machine de Turing, Machine virtuelle, Mathématiques, Mémoire (informatique), Modèle de Markov caché, Mot (mathématiques), National Institute of Standards and Technology, Neurologie, Philosophie, Portillon d'accès, Problème de plus court chemin, Problèmes de passage de rivière, Programme informatique, Protocole de communication, Réseau de Petri, Registre de processeur, Relais électromécanique, SCXML, Serrure à combinaison, Specification and Description Language, Stratégie de régulation, Système binaire, Système de transition d'états, Table de décision, Table de transition d'état, Table de vérité, Théorème de Kleene, Théorie des automates, Transducteur fini, Transistor-Transistor logic, Type (informatique), UML (informatique), Union internationale des télécommunications, Vérification de modèles. Développer l'indice (43 plus) »
ACM Transactions on Computational Logic
ACM Transactions on Computational Logic (abrégé en TOCL) est une revue scientifique trimestrielle à comité de lecture dans le domaine de la; elle est publiée par l'Association for Computing Machinery depuis 2000.
Nouveau!!: Automate fini et ACM Transactions on Computational Logic · Voir plus »
Agrégation (programmation)
En programmation informatique et plus précisément en programmation orientée objet, l'agrégation permet de définir une entité comme étant liée à plusieurs entités de classe différentes.
Nouveau!!: Automate fini et Agrégation (programmation) · Voir plus »
Alexandra Silva
Alexandra Silva, de nom complet Alexandra Martins da Silva, née le, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques.
Nouveau!!: Automate fini et Alexandra Silva · Voir plus »
Alphabet
Lettres de l'alphabet phénicien. Un alphabet (de alpha et bêta, les deux premières lettres de l’alphabet grec) est un système d'écriture constitué d'un ensemble de symboles dont chacun représente, par exemple, un des phonèmes d’une langue.
Nouveau!!: Automate fini et Alphabet · Voir plus »
Analyse lexicale
En informatique, l’analyse lexicale,, segmentation ou est la conversion d’une chaîne de caractères (un texte) en une liste de symboles (en anglais).
Nouveau!!: Automate fini et Analyse lexicale · 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 fini et Analyse syntaxique · Voir plus »
Apprentissage automatique
L'apprentissage automatique.
Nouveau!!: Automate fini et Apprentissage automatique · Voir plus »
Ascenseur
Un ascenseur est un dispositif de déplacement vertical.
Nouveau!!: Automate fini et Ascenseur · 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 fini et Automate à file · Voir plus »
Automate à jetons
En informatique théorique, et notamment en théorie des automates, un automate à jetons (en anglais) est un type d'automate d'arbres.
Nouveau!!: Automate fini et Automate à jetons · 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!!: Automate fini et Automate à pile · Voir plus »
Automate cheminant
Un automate cheminant dans les arbres, appelé en abrégé automate cheminant (en anglais tree walking automaton (TWA)) est une variante des automates finis qui opère sur des arbres plutôt que sur des mots.
Nouveau!!: Automate fini et Automate cheminant · Voir plus »
Automate d'arbres
En informatique théorique, plus précisément en théorie des langages, un automate d'arbre est une machine à états qui prend en entrée un arbre, plutôt qu'une chaîne de caractères pour les automates plus conventionnels, comme les automates finis.
Nouveau!!: Automate fini et Automate d'arbres · Voir plus »
Automate fini déterministe
Un automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée.
Nouveau!!: Automate fini et Automate fini déterministe · Voir plus »
Automate fini non déterministe
Un automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique.
Nouveau!!: Automate fini et Automate fini non déterministe · Voir plus »
Automate pondéré
En Informatique théorique, et particulièrement en théorie des automates, un automate fini pondéré est une généralisation des automates finis.
Nouveau!!: Automate fini et Automate pondéré · Voir plus »
Automate programmable industriel
Deux automates programmables industriels & leurs périphériques, montés en volant, pour test et analyse. Un automate programmable industriel, ou API (en anglais programmable logic controller, PLC), est un dispositif électronique numérique programmable destiné à la commande de processus industriels par un traitement séquentiel.
Nouveau!!: Automate fini et Automate programmable industriel · Voir plus »
Automate quantique
En informatique quantique et en informatique théorique, un automate fini quantique est une généralisation des automates finis où un mot est accepté selon le résultat d'une certaine mesure.
Nouveau!!: Automate fini et Automate quantique · Voir plus »
État (informatique)
En informatique, le terme désigne plusieurs choses assez différentes concernant les processus d'exécution et les impressions sur papier.
Nouveau!!: Automate fini et État (informatique) · Voir plus »
État (patron de conception)
Le patron état est un patron de conception (design pattern en anglais, ou encore modèle de conception), de la famille des patrons comportementaux.
Nouveau!!: Automate fini et État (patron de conception) · Voir plus »
Bascule (circuit logique)
Une bascule est un circuit logique capable, dans certaines circonstances, de maintenir les valeurs de ses sorties malgré les changements de valeurs d'entrées, c'est-à-dire comportant un état « mémoire ».
Nouveau!!: Automate fini et Bascule (circuit logique) · Voir plus »
Biologie
La biologie (du grec bios « la vie » et logos, « discours ») est la science du vivant.
Nouveau!!: Automate fini et Biologie · Voir plus »
Circuit logique programmable
Un circuit logique programmable ou PLD (Programmable Logical Device), est un circuit intégré logique qui peut être programmé après sa fabrication.
Nouveau!!: Automate fini et Circuit logique programmable · Voir plus »
Collège de France
Le Collège de France, anciennement nommé Collège royal, est un grand établissement d'enseignement et de recherche français, institué par François Ier en 1530.
Nouveau!!: Automate fini et Collège de France · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Automate fini et Compilateur · Voir plus »
Complexité générique des algorithmes
La complexité générique est un domaine particulier de la complexité algorithmique qui concerne l’étude de la complexité de problèmes algorithmiques pour « la plupart des données ».
Nouveau!!: Automate fini et Complexité générique des algorithmes · Voir plus »
Conception assistée par ordinateur pour l'électronique
Capture d’écran du logiciel libre de CAO électronique KICAD. La CAO électronique (pour Conception assistée par ordinateur électronique), nommée également en anglais EDA (pour Electronic design automation), est la catégorie des outils servant à la conception et la production des systèmes électroniques allant des circuits imprimés jusqu'aux circuits intégrés.
Nouveau!!: Automate fini et Conception assistée par ordinateur pour l'électronique · Voir plus »
Construction par sous-ensembles
En informatique théorique, et notamment en théorie des automates, l'algorithme appelé la construction par sous-ensembles, en anglais « powerset construction » ou « subset construction », est la méthode usuelle pour convertir un automate fini non déterministe (abrégé en « AFN ») en un automate fini déterministe (abrégé en « AFD ») équivalent, c'est-à-dire qui reconnaît le même langage rationnel.
Nouveau!!: Automate fini et Construction par sous-ensembles · Voir plus »
Contrôle de processus
Le contrôle de processus est un terme utilisé pour désigner l'ensemble du matériel et des logiciels servant à piloter et surveiller le processus de fabrication de produits.
Nouveau!!: Automate fini et Contrôle de processus · Voir plus »
Demi-anneau
En mathématiques, un demi-anneau, ou semi-anneau, est une structure algébrique (E, +, \times, 0, 1) qui a les propriétés suivantes.
Nouveau!!: Automate fini et Demi-anneau · Voir plus »
Diagramme états-transitions
Un diagramme états-transitions est un schéma utilisé en génie logiciel pour représenter des automates déterministes.
Nouveau!!: Automate fini et Diagramme états-transitions · Voir plus »
Diagramme de structure composite
alt.
Nouveau!!: Automate fini et Diagramme de structure composite · Voir plus »
Discrete Event System Specification
en DEVS (de l'anglais Discrete Event System Specification) est un formalisme modulaire et hiérarchique pour la modélisation, la simulation et l'analyse de systèmes complexes qui peuvent être des systèmes à événements discrets décrits par des fonctions de transitions d'états et des systèmes continus décrits par des équations différentielles, par exemple et des systèmes hybrides (continus et discrets).
Nouveau!!: Automate fini et Discrete Event System Specification · Voir plus »
Distribution automatique
métro parisien. Un distributeur automatique, ou machine distributrice (particulièrement au Canada francophone), est une machine qui permet d'obtenir des biens, sans intervention humaine (en libre-service), grâce aux techniques d'automatique.
Nouveau!!: Automate fini et Distribution automatique · Voir plus »
Epsilon
Epsilon (capitale Ε, minuscule ε; en grec έψιλον), est la lettre de l'alphabet grec, précédée par delta et suivie par zêta.
Nouveau!!: Automate fini et Epsilon · 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!!: Automate fini et Expression régulière · Voir plus »
Feu de circulation
Les trois états d'un feu tricolore. Un feu destiné aux piétons en Italie. Un feu de circulation routière, aussi appelé feu tricolore est un dispositif permettant la régulation du trafic routier entre les usagers de la route, les véhicules et les piétons.
Nouveau!!: Automate fini et Feu de circulation · Voir plus »
Fonction logique
Il existe deux grands types de fonctions logiques.
Nouveau!!: Automate fini et Fonction logique · Voir plus »
Fonction partielle
Exemple d'une fonction partielle En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé ensemble de définition (ou domaine de définition) de la fonction partielle.
Nouveau!!: Automate fini et Fonction partielle · Voir plus »
Génie logiciel
Le génie logiciel, l'ingénierie logicielle ou l'ingénierie du logiciel (en software engineering) est une science de génie industriel qui étudie les méthodes de travail et les bonnes pratiques des ingénieurs qui développent des logiciels.
Nouveau!!: Automate fini et Génie logiciel · Voir plus »
Gérard Berry
Gérard Berry, né le, est un informaticien français, professeur au Collège de France, membre de l'Académie des sciences française (depuis 2002), de l'Académie des technologies (depuis 2005), et de l'Academia Europaea (depuis 1993).
Nouveau!!: Automate fini et Gérard Berry · Voir plus »
Grammaire
La grammairedu latin grammatica, emprunté au grec.
Nouveau!!: Automate fini et Grammaire · Voir plus »
Graphe orienté
Un graphe orienté G.
Nouveau!!: Automate fini et Graphe orienté · Voir plus »
Grep
grep est un programme en ligne de commande de recherche de chaînes de caractères, initialement écrit pour UNIX par Ken Thompson, puis amélioré par l'utilisation de l'algorithme d'Aho-Corasick.
Nouveau!!: Automate fini et Grep · 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!!: Automate fini et Informatique · 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 fini et Informatique théorique · Voir plus »
Intelligence artificielle
assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine.
Nouveau!!: Automate fini et Intelligence artificielle · Voir plus »
Jeton
Jeton de téléphone italien Le jeton est une sorte de monnaie ou de méreau aux fonctions multiples.
Nouveau!!: Automate fini et Jeton · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Automate fini et Langage formel · Voir plus »
Langage humain
phylactère ou « bulle » sortant de la bouche d'une personne pour symboliser ses paroles. Inscription en cunéiforme. Deux filles apprennent la langue des signes. Livre en braille. Le langage humain est un système qui regroupe le développement, l'acquisition, l'entretien et l'utilisation de systèmes complexes de communication, et désigne aussi la capacité humaine permettant ces processus.
Nouveau!!: Automate fini et Langage humain · 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 fini et Langage rationnel · Voir plus »
Linguistique
La linguistique est une discipline scientifique s’intéressant à l’étude du langage.
Nouveau!!: Automate fini et Linguistique · Voir plus »
Linguistique informatique
La linguistique informatique est un champ interdisciplinaire basé sur une modélisation symbolique (à base de règles) ou statistique du langage naturel établie dans une perspective informatique.
Nouveau!!: Automate fini et Linguistique informatique · 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!!: Automate fini et Logique · Voir plus »
Logique combinatoire
En logique mathématique, la logique combinatoire est une théorie logique introduite par Moses Schönfinkel en 1920 lors d'une conférence et développée dès 1929 par Haskell Brooks Curry pour supprimer le besoin de variables en mathématiques, pour formaliser rigoureusement la notion de fonction et pour minimiser le nombre d'opérateurs nécessaires pour définir le calcul des prédicats à la suite de Henry M. Sheffer.
Nouveau!!: Automate fini et Logique combinatoire · Voir plus »
Logique séquentielle
En théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment.
Nouveau!!: Automate fini et Logique séquentielle · Voir plus »
Machine à états abstraits
En informatique, une machine à états abstraits (en anglais abstract state machine ou ASM), est un automate fini dont les états ne portent pas simplement des noms, mais des structures au sens de la logique mathématique, c'est-à-dire des ensembles non vides munis de fonctions, d'opérations et de relations.
Nouveau!!: Automate fini et Machine à états abstraits · Voir plus »
Machine de Mealy
En informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Mealy ou automate de Mealy est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties dépendent à la fois de l'état courant et des symboles d'entrée.
Nouveau!!: Automate fini et Machine de Mealy · Voir plus »
Machine de Moore
Le diagramme états-transitions d'une machine de Moore avec une fonction de transition partielle. Les entrées sont ''x'', ''y'', ''z'', et les sorties ''a'', ''b'', ''c''. En informatique théorique, notamment en théorie des automates, et en théorie de la calculabilité, une machine de Moore ou automate de Moore (proposée par Edward F. Moore) est un transducteur fini (i.e. un automate fini avec une sortie) pour lequel les sorties ne dépendent que de l'état courant.
Nouveau!!: Automate fini et Machine de Moore · 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 fini et Machine de Turing · Voir plus »
Machine virtuelle
Palm. En informatique, une machine virtuelle (anglais virtual machine, abr. VM) est d'un appareil informatique créée par un logiciel d'émulation ou instanciée sur un hyperviseur.
Nouveau!!: Automate fini et Machine virtuelle · 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!!: Automate fini et Mathématiques · Voir plus »
Mémoire (informatique)
En informatique, la mémoire est un dispositif électronique numérique qui sert à stocker des données.
Nouveau!!: Automate fini et Mémoire (informatique) · Voir plus »
Modèle de Markov caché
Un modèle de Markov caché (MMC, terme et définition normalisés par l’ISO/CÉI) — (HMM)—, ou plus correctement (mais non employé) automate de Markov à états cachés, est un modèle statistique dans lequel le système modélisé est supposé être un processus markovien de paramètres inconnus.
Nouveau!!: Automate fini et Modèle de Markov caché · 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!!: Automate fini et Mot (mathématiques) · Voir plus »
National Institute of Standards and Technology
Le National Institute of Standards and Technology (NIST), est une agence du département du Commerce des États-Unis.
Nouveau!!: Automate fini et National Institute of Standards and Technology · Voir plus »
Neurologie
La neurologie est la spécialité médicale clinique qui étudie l'ensemble des maladies du système nerveux et en particulier du cerveau.
Nouveau!!: Automate fini et Neurologie · Voir plus »
Philosophie
La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.
Nouveau!!: Automate fini et Philosophie · Voir plus »
Portillon d'accès
Un portillon d'accès est une sorte de barrière qui permet de contrôler l'accès à certains lieux: pour autoriser le passage dans un sens et l'interdire dans l'autre; pour compter le nombre de personnes qui le franchissent; pour percevoir un droit de passage ou un droit d'entrée par paiement ou introduction d'un ticket (souvent un titre de transport),; ou pour vérifier l'habilitation d'une personne (entrée dans les locaux d'une entreprise, ou dans certains locaux de l'entreprise particulièrement sensibles).
Nouveau!!: Automate fini et Portillon d'accès · Voir plus »
Problème de plus court chemin
Exemple d'un plus court chemin du sommet A au sommet F: (A, C, E, D, F). En théorie des graphes, le problème de plus court chemin est le problème algorithmique qui consiste à trouver un chemin d'un sommet à un autre de façon que la somme des poids des arcs de ce chemin soit minimale.
Nouveau!!: Automate fini et Problème de plus court chemin · Voir plus »
Problèmes de passage de rivière
Les problèmes de passage de rivière sont des exercices relevant de jeux mathématiques ou de réflexions.
Nouveau!!: Automate fini et Problèmes de passage de rivière · Voir plus »
Programme informatique
Un programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur.
Nouveau!!: Automate fini et Programme informatique · Voir plus »
Protocole de communication
Dans les réseaux informatiques et les télécommunications, un protocole de communication est une spécification de plusieurs règles pour un type de communication particulier.
Nouveau!!: Automate fini et Protocole de communication · Voir plus »
Réseau de Petri
Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels…) travaillant sur des variables discrètes.
Nouveau!!: Automate fini et Réseau de Petri · Voir plus »
Registre de processeur
Un registre est un emplacement de mémoire interne à un processeur.
Nouveau!!: Automate fini et Registre de processeur · Voir plus »
Relais électromécanique
Un relais électromécanique est un organe électrique permettant de distribuer la puissance à partir d'un ordre émis par la partie commande.
Nouveau!!: Automate fini et Relais électromécanique · Voir plus »
SCXML
SCXML est un langage de machine à états à usage général basé sur des événements.
Nouveau!!: Automate fini et SCXML · Voir plus »
Serrure à combinaison
Une serrure à combinaison est un type de serrure basé sur la mémoire qui demande la connaissance d'une séquence chiffrée pour être ouverte.
Nouveau!!: Automate fini et Serrure à combinaison · Voir plus »
Specification and Description Language
en Le Specification and Description Language (SDL) ou Langage de description et de spécification (LDS) est un standard de l'Union internationale des télécommunications (ITU-T) sous la référence Z.100.
Nouveau!!: Automate fini et Specification and Description Language · Voir plus »
Stratégie de régulation
Une stratégie (ou topologie) de régulation est, pour un procédé industriel, l'organisation du système de contrôle-commande en vue de maintenir une grandeur physique dans une plage de tolérance donnée.
Nouveau!!: Automate fini et Stratégie de régulation · Voir plus »
Système binaire
Le système binaire (du latin binārĭus, « double ») est le système de numération utilisant la base 2.
Nouveau!!: Automate fini et Système binaire · 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!!: Automate fini et Système de transition d'états · Voir plus »
Table de décision
Un exemple de Table de décision Une table de décision est un outil logique permettant de modéliser facilement un ensemble de choix d’une certaine complexité.
Nouveau!!: Automate fini et Table de décision · Voir plus »
Table de transition d'état
Dans la théorie des automates et en logique séquentielle, une table de transition d'état est un tableau montrant dans quel état (ou états dans le cas d'un automate fini non déterministe) d'un automate fini se déplacer, sur la base de l'état actuel et des autres entrées.
Nouveau!!: Automate fini et Table de transition d'état · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Automate fini et Table de vérité · Voir plus »
Théorème de Kleene
En informatique théorique, et plus précisément en théorie des automates, le théorème de Kleene affirme qu'un langage est rationnel (i.e. décrit par une expression rationnelle) si et seulement s’il est reconnu par un automate fini.
Nouveau!!: Automate fini et Théorème de Kleene · 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 fini et Théorie des automates · 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!!: Automate fini et Transducteur fini · Voir plus »
Transistor-Transistor logic
Composants TTL Circuit intégré TTµL-103 de Fairchild (1964) contenant deux portes NON-ET à quatre entrées en logique TTL Transistor-Transistor Logic ou TTL est une famille de circuits logiques utilisée en électronique, inventée en 1961 déposé le 8 septembre 1961 par James L. Buie par sous l'appellation Transistor-Coupled Transistor Logic.
Nouveau!!: Automate fini et Transistor-Transistor logic · Voir plus »
Type (informatique)
Présentation des principaux '''types de données'''. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués.
Nouveau!!: Automate fini et Type (informatique) · Voir plus »
UML (informatique)
Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.
Nouveau!!: Automate fini et UML (informatique) · Voir plus »
Union internationale des télécommunications
Monument à Berne (canton de Berne, Suisse) avec l'inscription « Union Télégraphique Internationale fondée à Paris en 1865 sur l'initiative du gouvernement français. Érigé par décision de l'Union télégraphique prise à la conférence internationale de Lisbonne en 1908 ». Siège de l'UIT (Bâtiment Montbrillant), Genève. Siège de l'UIT — La « Tour » — à Genève. LUnion internationale des télécommunications ou UIT (ou ITU) est l'agence des Nations unies pour le développement spécialisé dans les technologies de l'information et de la communication, basée à Genève (Suisse).
Nouveau!!: Automate fini et Union internationale des télécommunications · Voir plus »
Vérification de modèles
model checking''. En informatique, la vérification de modèles, ou en anglais, est le problème suivant: vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété.
Nouveau!!: Automate fini et Vérification de modèles · Voir plus »
Redirections ici:
Automate Fini, Automate asynchrone, Automate déterministe à états fini, Automate fini non déterministe généralisé, Automates finis, Finite state machine, Machine d'état, Machine à états finis.
