ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 26/10 - 2007  - pp.1207-1225  - doi:10.3166/tsi.26.1207-1225
TITRE
Un nouveau regard sur la machine logique de Jevons (1870). Une machine à nombre fini d'états

RÉSUMÉ
Le piano logique de William Stanley Jevons, construit en 1870, a déjà été présenté à plusieurs reprises. C'est la première machine informatique spécialisée dans la déduction automatique. Dans le présent article, on propose une description détaillée du fonctionnement de cette machine en termes de machine à nombre fini d'états. La machine logique de Jevons peut effectivement être vue comme un ensemble de transducteurs à nombre fini d'états fonctionnant sur un mode Single Instruction Multiple Data (SIMD). Cette caractéristique lui permet d'évaluer certaines formules booléennes à N variables en 2N (en espace) mais en temps constant.


ABSTRACT
Jevons's Logic Piano has already been presented in several publications. It was the first hardware devoted to logical inference. In this paper we propose a new view of that machine in the frame of Finite States Machines. Indeed Jevons's Logical Machine is a set of finite states transducers with a Single Instruction Multiple Data organization. This allows it to evaluate some boolean formulas with N variables in space proportional to 2N and in constant time.


AUTEUR(S)
Paul AMBLARD

Reçu le 20 juin 2005.    Accepté le 14 septembre 2006.

MOTS-CLÉS
Jevons, logique, automate, machine à nombre fini d'états, déduction automatique, piano logique.

KEYWORDS
Jevons, logic, automata, finite state machine, automated deduction, logical piano.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (255 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier