duotosios Tiuringo mašinos funkcijos rezultatą. Tokia mašina vadinama universaliąja Tiuringo mašina. Nedeterministinę vienajuostę Tiuringo mašiną, kuri baigusi
Skirtumų skaičiavimo mašina – Č. Babidžo suprojektuota sistema, skirta polinomų reikšmių lentelių sudarymui automatizuoti. Ji rėmėsi baigtinių skirtumų
Kovos mašina – ratinė ar vikšrinė mašina, paprastai visiškai ar iš dalies šarvuota (tokia vadinasi šarvuotoji kovos mašina), skirta dalyvauti mūšyje. Mašina
sukonstravo efektyvesnę, į visas vėlesnes panašią garo mašiną. Jis apskaičiavo, kad ta mašina kalnakasybos darbuose pakeičia 12 arklių, taigi jos galia