Revisão das 22h04min de 14 de julho de 2011 editar Stegop (discussão \| contribs) Administradores 153 870 edições rm spam e cats em inglês ← Ver a alteração anterior		Revisão das 10h55min de 19 de julho de 2011 editar desfazer FSogumo (discussão \| contribs) Administradores 120 318 edições +Categoria:Professores dos Estados Unidos; +Categoria:Matemáticos dos Estados Unidos usando HotCat Ver a alteração posterior →
Linha 13: * [http://rjlipton.wordpress.com/2009/03/07/finite-state-automata-binary-decision-diagrams-and-presburger-arithmetic/ Description of Sipser's research] by [[Richard J. Lipton]] ~~{{Semcat\|data=julho de 2011}}~~ [[Categoria:Professores dos Estados Unidos]] [[Categoria:Matemáticos dos Estados Unidos]] [[de:Michael Sipser]]

Michael Sipser: diferenças entre revisões