Match the Invention with Its Creator(s)

Match the invention with its creator(s) .
-Charles Babbage

A) a calculating machine constructed with great difficulty that could compute sums and differences of complex sequences of squared numbers
B) a computer program that reproduced formal proofs for some of the basic theorems at the heart of symbolic logic
C) a computer program capable of responding to different written letters or Morse code symbols via subroutines called "demons" that worked independently on separate aspects of the problem but all at the same time,and with successful combinations of activity being recorded in the computer's memory
D) a hypothetical "universal" computer that could perform any kind of calculation on any set of symbols capable of being manipulated in the Boolean sense,according to some set of formally specifiable and self-consistent rules
E) an early calculator consisting of a row of ten-toothed cogwheels,arranged so that each complete revolution of the wheel on the right produced a rotation of one tooth in the wheel to its left