His fascination with these machines inspired him to design the difference engine with Ada Lovelace.

他对这些机器的迷恋激发了他与 Ada Lovelace 一起设计差分引擎。

And without the difference engine, we wouldn't have computers like the one that you're watching me on today.

如果没有差分引擎，我们就不会有今天你们看到的这台电脑。

In fact, before computers were even built, she made mathematical proofs that can be characterized as the earliest computer programs for a machine called the difference engine and then the analytical engine.

实际上 早在计算机发明出来之前，她就先后为差分机和分析机做了数学证明，这个可以说是最早的计算机程序了。