• Thumbnail for Michael Sipser
    Michael Fredric Sipser (born September 17, 1954) is an American theoretical computer scientist who has made early contributions to computational complexity...
    10 KB (857 words) - 06:25, 6 May 2024
  • (ISBN 0-534-95097-3) is a textbook in theoretical computer science, written by Michael Sipser and first published by PWS Publishing in 1997. Introduction to Automata...
    990 bytes (87 words) - 19:48, 17 August 2022
  • generate; in such a way to the Chomsky hierarchy of languages is obtained. Michael Sipser (2013). Introduction to the Theory of Computation 3rd. Cengage Learning...
    18 KB (2,168 words) - 17:28, 25 July 2024
  • polynomial time hierarchy, and more specifically Σ2 ∩ Π2. In 1983, Michael Sipser showed that BPP is contained in the polynomial time hierarchy. Péter...
    6 KB (1,005 words) - 20:19, 17 November 2023
  • Thumbnail for Syntax (programming languages)
    Programming Languages. Addison-Wesley Publishing Company. ISBN 0-201-65697-3. Michael Sipser (1997). "2.2 Pushdown Automata". Introduction to the Theory of Computation...
    19 KB (2,419 words) - 08:54, 27 July 2024
  • Computer Algorithms. Reading/MA: Addison-Wesley. ISBN 0-201-00029-6. Michael Sipser (1997). Introduction to the Theory of Computation. Boston/MA: PWS Publishing...
    30 KB (4,509 words) - 06:46, 7 July 2024
  • Thumbnail for Interactive proof system
    1137/0218012. ISSN 1095-7111. Extended abstract Shafi Goldwasser and Michael Sipser. Private coins versus public coins in interactive proof systems. Proceedings...
    22 KB (2,727 words) - 06:31, 20 June 2024
  • Thumbnail for Manuel Blum
    Impagliazzo, Silvio Micali, Gary Miller, Moni Naor, Steven Rudich, Michael Sipser, Ronitt Rubinfeld, Umesh Vazirani, Vijay Vazirani, Luis von Ahn, and...
    9 KB (618 words) - 14:27, 16 February 2024
  • Wisconsin-Madison. Archived (PDF) from the original on 2021-07-19. Sipser, Michael (2006). Introduction to the theory of computation (2nd ed.). Boston:...
    21 KB (1,924 words) - 04:48, 13 September 2023
  • by Håstad (1998). In the early 1980s, Merrick Furst, James Saxe and Michael Sipser and independently Miklós Ajtai established super-polynomial lower bounds...
    6 KB (859 words) - 15:00, 25 March 2023