Notice RAMEAU

Notice

Théorie des automates mathématiques

Vedette matière nom commun. S'emploie en tête de vedette.

Sous cette vedette, on trouve les documents sur les modèles mathématiques de dispositifs intégrés à un système logique selon un algorithme donné. Cette théorie mathématique sert à la représentation des dispositifs, mais ne s'intéresse aucunement à leur aspect matériel

<Employé pour :
Automates mathématiques , Théorie des Ancienne forme retenue
Automates, Théorie des
Machines, Théorie des
Théorie des machines

<<Terme(s) générique(s) :
Algorithmes
Fonctions récursives
Logique mathématique
Modèles mathématiques

>><<Terme(s) associé(s) :
Transductions rationnelles
Grammaire algébrique
Robotique
Suites automatiques (mathématiques)

>>Terme(s) spécifique(s) :
Séparation (informatique)
Automates de Büchi
Intelligence artificielle
Langages formels
Lindenmayer, Systèmes de
Théorie des machines séquentielles
Ordinateurs
Réécriture, Systèmes de (informatique)
Structure logique
Turing, Machines de
Groupes auto-similaires
Commande, Théorie de la
Apprentissage automatique
Automates
Codage
Commutation, Théorie de la
Complexité de calcul (informatique)
Informatique

Domaine(s) : 621 . - 510

Correspondance(s) exacte(s) :
- LCSH (Library of Congress Subject Headings) : Machine theory http://id.loc.gov/authorities/subjects/sh85079341
- RVMLaval (Répertoire Vedettes-Matière de l'Université Laval (Québec)) : Théorie des automates

Identifiant de la notice : ark:/12148/cb119395737

Notice n° : FRBNF11939573

Création : 81/05/22

Mise à jour : 23/07/13