Introduction To Automata Theory, Languages, And Computation
''Introduction to Automata Theory, Languages, and Computation'' is an influential computer science textbook by John Hopcroft and Jeffrey Ullman on formal languages and the theory of computation. Rajeev Motwani contributed to later editions beginning in 2000. Nickname The Jargon File records the book's nickname, ''Cinderella Book'', thusly: "So called because the cover depicts a girl (putatively Cinderella) sitting in front of a Rube Goldberg device and holding a rope coming out of it. On the back cover, the device is in shambles after she has (inevitably) pulled on the rope." Edition history and reception The forerunner of this book appeared under the title ''Formal Languages and Their Relation to Automata'' in 1968. Forming a basis both for the creation of courses on the topic, as well as for further research, that book shaped the field of automata theory for over a decade, cf. (Hopcroft 1989). * * * * * The first edition of ''Introduction to Automata Theory, Languag ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
John Hopcroft
John Edward Hopcroft (born October 7, 1939) is an American theoretical computer scientist. His textbooks on theory of computation (also known as the Cinderella book) and data structures are regarded as standards in their fields. He is the IBM Professor of Engineering and Applied Mathematics in Computer Science at Cornell University, Co-Director of the Center on Frontiers of Computing Studies at Peking University, and the Director of the John Hopcroft Center for Computer Science at Shanghai Jiao Tong University. Education He received his bachelor's degree from Seattle University in 1961. He received his master's degree and Ph.D. from Stanford University in 1962 and 1964, respectively. He worked for three years at Princeton University and since then has been at Cornell University. Hopcroft is the grandson of Jacob Nist, founder of the Seattle-Tacoma Box Company. Career In addition to his research work, he is well known for his books on algorithms and formal languages coauthored w ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Introduction To The Theory Of Computation
''Introduction to the Theory of Computation'' () is a textbook in theoretical computer science, written by Michael Sipser and first published by PWS Publishing in 1997.. See also *''Introduction to Automata Theory, Languages, and Computation'' by John Hopcroft and Jeffrey Ullman Jeffrey David Ullman (born November 22, 1942) is an American computer scientist and the Stanford W. Ascherman Professor of Engineering, Emeritus, at Stanford University. His textbooks on compilers (various editions are popularly known as the d ..., an older textbook in the same field References External linksInformation on ''Introduction to the Theory of Computation'' (by Michael Sipser) Computer science books Computational complexity theory Theory of computation {{compu-book-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1979 Non-fiction Books
Events January * January 1 ** United Nations Secretary-General Kurt Waldheim heralds the start of the '' International Year of the Child''. Many musicians donate to the '' Music for UNICEF Concert'' fund, among them ABBA, who write the song '' Chiquitita'' to commemorate the event. ** The United States and the People's Republic of China establish full diplomatic relations. ** Following a deal agreed during 1978, France, French carmaker Peugeot completes a takeover of American manufacturer Chrysler's Chrysler Europe, European operations, which are based in United Kingdom, Britain's former Rootes Group factories, as well as the former Simca factories in France. * January 7 – Cambodian–Vietnamese War: The People's Army of Vietnam and Vietnamese-backed Kampuchean United Front for National Salvation, Cambodian insurgents announce the fall of Phnom Penh, Cambodia, and the collapse of the Pol Pot regime. Pol Pot and the Khmer Rouge retreat west to an area along the Thailand, Th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1968 Non-fiction Books
The year was highlighted by protests and other unrests that occurred worldwide. Events January–February * January 5 – " Prague Spring": Alexander Dubček is chosen as leader of the Communist Party of Czechoslovakia. * January 10 – John Gorton is sworn in as 19th Prime Minister of Australia, taking over from John McEwen after being elected leader of the Liberal Party the previous day, following the disappearance of Harold Holt. Gorton becomes the only Australian Senate, Senator to become Prime Minister, though he immediately transfers to the Australian House of Representatives, House of Representatives through the 1968 Higgins by-election in Holt's vacant seat. * January 15 – The 1968 Belice earthquake in Sicily kills 380 and injures around 1,000. * January 21 ** Vietnam War: Battle of Khe Sanh – One of the most publicized and controversial battles of the war begins, ending on April 8. ** 1968 Thule Air Base B-52 crash: A U.S. B-52 Stratofortress cras ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Automata (computation)
An automaton (; plural: automata or automatons) is a relatively self-operating machine, or control mechanism designed to automatically follow a sequence of operations, or respond to predetermined instructions.Automaton – Definition and More from the Free Merriam-Webster Dictionary http://www.merriam-webster.com/dictionary/automaton Some automata, such as bellstrikers in mechanical clocks, are designed to give the illusion to the casual observer that they are operating under their own power. Since long ago, the term is commonly associated with automated puppets that resemble moving humans or animals, built to impress and/or to entertain people. Animatronics are a modern type of automata with electronics, often used for the portrayal of characters in films and in theme park attractions. Etymology The word "automaton" is the latinization of the Ancient Greek , , (neuter) "acting of one's own will". This word was first used by Homer to describe an automatic door opening, or au ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Formal Languages
In logic, mathematics, computer science, and linguistics, a formal language consists of string (computer science), words whose symbol (formal), letters are taken from an alphabet (formal languages), alphabet and are well-formedness, well-formed according to a specific set of rules. The alphabet of a formal language consists of symbols, letters, or tokens that concatenate into strings of the language. Each string concatenated from symbols of this alphabet is called a word, and the words that belong to a particular formal language are sometimes called ''well-formed words'' or ''well-formed formulas''. A formal language is often defined by means of a formal grammar such as a regular grammar or context-free grammar, which consists of its formation rules. In computer science, formal languages are used among others as the basis for defining the grammar of programming languages and formalized versions of subsets of natural languages in which the words of the language represent concepts ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Computer Science Textbooks
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations ( computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which l ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Current Contents
''Current Contents'' is a rapid alerting service database from Clarivate Analytics, formerly the Institute for Scientific Information and Thomson Reuters. It is published online and in several different printed subject sections. History ''Current Contents'' was first published in paper format, in a single edition devoted only to biology and medicine. Other subject editions were added later. Initially, it consisted simply of a reproduction of the title pages from several hundred major peer-reviewed scientific journals, and was published weekly, with the issues containing title pages from journal issues only a few weeks previously, a shorter time lag than any service then available. There was an author index and a crude keyword subject index only. Author addresses were provided so readers could send reprint requests for copies of the actual articles. Status Still published in print, it is available as one of the databases included in Clarivate Analytics' ISI Web of Knowledge ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
The Jargon File
The Jargon File is a glossary and usage dictionary of slang used by computer programmers. The original Jargon File was a collection of terms from technical cultures such as the MIT AI Lab, the Stanford AI Lab (SAIL) and others of the old ARPANET AI/LISP/PDP-10 communities, including Bolt, Beranek and Newman, Carnegie Mellon University, and Worcester Polytechnic Institute. It was published in paperback form in 1983 as ''The Hacker's Dictionary'' (edited by Guy Steele), revised in 1991 as ''The New Hacker's Dictionary'' (ed. Eric S. Raymond; third edition published 1996). The concept of the file began with the Tech Model Railroad Club (TMRC) that came out of early TX-0 and PDP-1 hackers in the 1950s, where the term hacker emerged and the ethic, philosophies and some of the nomenclature emerged. 1975 to 1983 The Jargon File (referred to here as "Jargon-1" or "the File") was made by Raphael Finkel at Stanford in 1975. From that time until the plug was finally pulled on the SAIL com ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
List Of Important Publications In Theoretical Computer Science
This is a list of important publications in theoretical computer science, organized by field. Some reasons why a particular publication might be regarded as important: *Topic creator – A publication that created a new topic *Breakthrough – A publication that changed scientific knowledge significantly *Influence – A publication that has significantly influenced the world or has had a massive impact on the teaching of theoretical computer science. Computability ''On computable numbers, with an application to the Entscheidungsproblem'' * Alan Turing (1937) * ''Proceedings of the London Mathematical Society, Series 2'', vol. 42, pp. 230–265, 1937, . Errata appeared in vol. 43, pp. 544–546, 1938, . HTML version PDF version Description: This article set the limits of computer science. It defined the [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Michael Sipser
Michael Fredric Sipser (born September 17, 1954) is an American theoretical computer scientist who has made early contributions to computational complexity theory. He is a professor of applied mathematics and was the Dean of Science at the Massachusetts Institute of Technology. Biography Sipser was born and raised in Brooklyn, New York and moved to Oswego, New York when he was 12 years old. He earned his BA in mathematics from Cornell University in 1974 and his PhD in engineering from the University of California at Berkeley in 1980 under the direction of Manuel Blum.Trafton, Anne"Michael Sipser named dean of the School of Science: Sipser has served as interim dean since Marc Kastner’s departure" MIT News Office, June 5, 2014 He joined MIT's Laboratory for Computer Science as a research associate in 1979 and then was a Research Staff Member at IBM Research in San Jose. In 1980, he joined the MIT faculty. He spent the 1985-1986 academic year on the faculty of the Uni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |