Un nouveau regard sur la machine logique de Jevons (1870) Une machine à nombre fini d'états

摘要

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 2~N (en espace) mais en temps constant.