A finite state description of the earliest logical computer : the Jevons'Machine
Résumé
In 1870 a British scholar, W.S. Jevons, built the first computer designed to solve logical problem. Inspired by Boole and Babbage, Jevons built a mechanical device implementing automated deduction. In this paper, we present in contemporary terms the basic features of Jevon's machine. These features are related to finite-state machines and evaluation of words of a regular language. Two investigations about this machine are presented : the first one is evaluation of Jevons' machine complexity with a real-time environment. The second one is a VLSI implementation.