单词：nondeterministic program
nondeterministic program的用法和样例：
例句
- Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。
单词：nondeterministic program 相关文章
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
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年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
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
世界各地新闻集锦
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
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
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
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
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
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
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
农业与发展
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
教育与新闻
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
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
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
英语新闻
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
世界各地新闻集锦
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-
英语新闻
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
英语新闻
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
英语新闻
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
英语新闻