Linear temporal logic is an established discipline. It is, for example, used to test safety-critical systems, such as aeroplane flight controls. The main difference between computer programs based on linear temporal logic and those using other sorts of programming language is that the former describe how the world ought to be, whereas the latter list specific instructions for the computer to carry out in order to achieve a particular end. The former say something like: “If you need milk, you ought eventually to arrive at the shop.” The latter might say: “Check the refrigerator. If there is no milk, get in your car. Start driving. Turn left at the corner. Park. Walk into the shop.”
基于1个网页-相关网页
Schmidt leaves it to a listener to imagine the possibilities: If you need milk and there's a place nearby to get milk, Google will remind you to get milk.
施密特让一位听众想像各种可能性：如果你想喝牛奶，而不远处就可以买到牛奶，谷歌将提醒你在哪里会买到牛奶。
Try to preplan. If you think that you will need to gallons of milk, purchase them while you \ \ \ 're there.
设法预先计划好，当您在那里时如果认为需要加仑牛奶就买，不要回来后再回商店去买。
From the descriptor, you need to know if you are buying whole milk, low fat or skimmed, plain or flavoured, regular milk or flavoured milk, chilled milk or UHT product.
从描述，你需要知道你买全脂牛奶、低脂或脱脂、平原和调味料、全脂奶味的牛奶，或牛奶或烘焙产品。
应用推荐