[计] 不确定程序

nondeterministic program的用法和样例:

例句

  1. Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.确定一段代码是否总是产生某个常数值,等同于确定程序等效物,无法保证一定能做到。

About 10 percent of Indonesians are registered taxpayers and only about one million report their taxes to the government. That is not a lot for the worlds fourth most populous country. Indonesia is home to almost 260 million people. The comparatively

发表于:2018-12-07 / 阅读(63) / 评论(0) 分类 2017年VOA慢速英语(四)月

Sing Sing Correctional Facility is a high-security prison about an hour by car north of New York City. Sing Sing holds 1,600 prisoners. As the men serve their sentences, prison officials are planning for the time those detainees will be released. One

发表于:2018-12-08 / 阅读(61) / 评论(0) 分类 2018年VOA慢速英语(三)月

By Meredith Buel Washington 30 May 2008 U.S. National Security Advisor Stephen Hadley says the world cannot let down future generations by allowing Iran to develop a nuclear bomb, saying such a development would be a disaster for the Middle East and

发表于:2018-12-08 / 阅读(64) / 评论(0) 分类 VOA标准英语2008年(五月)

The US House of Representatives has narrowly voted to continue collecting data on US phone calls. Lawmakers rejected the amendment that would have blocked funding for the National Security Agency's program, which gathers details of every call made by

发表于:2018-12-19 / 阅读(70) / 评论(0) 分类 世界各地新闻集锦

After-School Program May Hold Secret to Success In Washington, DC, only 69 percent of public school students graduate from high school on time. Many factors influence that low rate. One of the most important ones is whether the people around the stud

发表于:2019-01-02 / 阅读(83) / 评论(0) 分类 2017年VOA慢速英语(二)月

Imer still has pieces of a bullet in his back. The 43-year-old Mexican immigrant fled the Mexican state of Guerrero more than 20 years ago after he was shot in the back by drug dealers. Imer asked VOA to use only his first name in this story. He ente

发表于:2019-01-03 / 阅读(70) / 评论(0) 分类 2018年VOA慢速英语(六)月

Program Offers Job Experience, Pay for High Schoolers At the start of the school year, Aelina Pogosian could not wait to tell her friends about the most interesting thing she had done over the summer. The 16-year-old did not want to talk about a trip

发表于:2019-01-03 / 阅读(119) / 评论(0) 分类 2017年VOA慢速英语(十一)月

A group in Italy is preparing immigrants, mostly from Africa, for jobs as beekeepers. The group then helps to set-up meetings between these migrants and honey producers who need employees. International aid groups say European Union (EU) efforts to r

发表于:2019-01-03 / 阅读(326) / 评论(0) 分类 2017年VOA慢速英语(九)月

By Cathy Majtenyi Nairobi 22 January 2008 An international agricultural research group recently announced a fellowship program to help African women who work in agricultural sciences to advance their careers. The program is based on two earlier pilo

发表于:2019-01-09 / 阅读(86) / 评论(0) 分类 VOA标准英语2008年(一月)

Former U.S. President Bill Clinton has agreed to lead a U.N. program that will offer jobs to Haitian youth as part of the clean-up and recovery following last week's earthquake. Last spring U.N. Secretary General Ban Ki-moon asked Mr. Clinton to beco

发表于:2019-01-11 / 阅读(77) / 评论(0) 分类 VOA标准英语2010年(一月)

DEVELOPMENT REPORT - DOTS Program Helps Reduce Tuberculosis Rates in China By Jill Moss Broadcast: Monday, August 09, 2004 This is Robert Cohen with the VOA Special English Development Report. The Wor

发表于:2019-01-30 / 阅读(95) / 评论(0) 分类 农业与发展

EDUCATION REPORT - International Education Program Aims for Worldly Students By Nancy Steinbach Broadcast: Thursday, September 15, 2005 I'm Shep O'Neal with the VOA Special English Education Report. I

发表于:2019-01-30 / 阅读(95) / 评论(0) 分类 教育与新闻

By Phillip Wellman Dakar 14 October 2007 The United States Agency for International Development and the U.S.-based World Cocoa Foundation have agreed to launch a multi-year partnership aimed at improving education and providing greater opportunities

发表于:2019-02-04 / 阅读(95) / 评论(0) 分类 2007年VOA常速英语(十月)

By Jessica Berman Washington 01 April 2008 For the past 50 years, the development of new drugs to treat tropical diseases that affect nearly one billion people has languished because it has not been profitable for drug manufacturers in the West. But

发表于:2019-02-05 / 阅读(107) / 评论(0) 分类 VOA常速英语2008年(四月)

Manned space program's Meridian Project operational BEIJING, Oct. 23 (Xinhua) -- The Meridian Project, a massive scientific research project that will monitor weather in space, became fully operational on Tuesday. The Meridian Space Weather Monitorin

发表于:2019-02-07 / 阅读(104) / 评论(0) 分类 英语新闻

Japan and the EU have urged North Korea to abandon its nuclear and missile program, despite its willingness to return to the six-party talks. Japanese Defence Minister Itsunori Onodera says his country would never tolerate North Korea's nuclear progr

发表于:2019-02-14 / 阅读(129) / 评论(0) 分类 世界各地新闻集锦

US Senate Passes Resolution Against Iran's Nuclear Program The U.S. Senate has overwhelmingly approved a resolution that reaffirms U.S. efforts to stop Iran from developing a nuclear weapon. The senators on Saturday voted 90-to-1 in favor of the non-

发表于:2019-02-17 / 阅读(60) / 评论(0) 分类 英语新闻

As crew members of the upcoming NASA space shuttle mission prepare for the final flight of the shuttle program, they say they are inspired by NASA's accomplishments, but also about the retirement of the shuttle fleet and lay-offs among the NASA commu

发表于:2019-02-18 / 阅读(51) / 评论(0) 分类 英语新闻

The weak economy in the United States has made it tough for many people to find work. The Starbucks coffee company, based in Seattle, Washington, is trying to promote job growth through its new Create Jobs for USA program. This month, the company beg

发表于:2019-02-18 / 阅读(57) / 评论(0) 分类 英语新闻

Every school day, about 7,000 students drop out of school(退学) in the United Stars. That's a total of 1.2 million students each year and only about 70 percent of entering high school freshman graduate each year. The problem is especially serious i

发表于:2019-02-18 / 阅读(79) / 评论(0) 分类 英语新闻
学英语单词
acrobatics
agelongs
aleurone grains
as you think proper
Atlixco
Barfleur, Pte.de
BARTed
basic geodetic survey
becum
beggar's velvet
benzo fast red 5bl
Bernou1li equation
bind someone over
boogey
boosbecks
canaline
carman
centennials
change event
channel radius
chimmer
come to grips with
compound intervals
cotton with
cross member brace
data preparation
delivery ex-quay
departmental margin
do one's face
doctoral degree
doneeka
down-draft kiln
drag over
dundrum b.
enterprise centre
equinoctial
ethnagogue
european brooklimes
excess budget
farm drainage ditch
finished product control
floor finishing machine
foldover
fraction of saturation
genus argonautas
goef
Hermann Goring
Heshmon
histograph
immunitas non sterilisans
immunoenhancing
indirect management
integral-transform method
Issoudane
Istro-Venetian
its'
JDST
Kalinovo
keydriver
Lagochilus
learning by discovery
lievest
light colonels
liquid condenser
local trunk
low-rise dwelling
Mac Cullagh's formula
medium pressure turbine
metabolic-rate
modi vivendi
Nifedipin
ninja sex
oculinum
paraklippe
peace of any price
petalodic
potassium iron(iii) sulfate
prisma
pyroretin (pyroretinite)
pyrus ussuriensis var.ovoidea rehd.
resistor bulb
resorcylagin
rotor seal
Sadras
Sarrans, Barrage de
self-contained cardan joint
semi-active homing guidance
semi-annual
Sheets in New Worbook
skygazing
somesthetic path
split mold
sporangiform
standard values
subotnik
tachycardiac
technological parameter
temor
Tofangoceras
union gear
unsizing
youghiogheny