# comp.theory

**CSR 2008: First Call for Papers**,*info . csr2008***Re: Recursively enumerable sets**,*Twoflower***Re: Recursively enumerable sets**,*Ben Bacarisse***Re: Recursively enumerable sets**,*Paul E. Black*

**Reduction from Vertex Cover to SAT**,*sarhus***How to abstract a set?**,*hbdere***Re: How to abstract a set?**,*Jamie Andrews; real address @ bottom of message*

**Urgent Recurrence Problem, Please Help !**,*Tonny***Re: Urgent Recurrence Problem, Please Help !**,*Heiner Marxen***Re: Urgent Recurrence Problem, Please Help !**,*muede73*

**Graph problem, is it NP-Complete?**,*arcadiorubiogarcia***Re: Graph problem, is it NP-Complete?**,*David Kinny*

**graph theory question**,*Aryeh.Friedman@xxxxxxxxx***The Wolfram 2,3 Turing Machine Research Prize - Announcement**,*egalois***Wolfram's 2,3 Turing Machine Is Universal!**,*Yao Ziyuan***Re: Would like to find study group for computer science comprehensive exams.**,*eternalsquire**Message not available**Message not available**Message not available**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*Jamie Andrews; real address @ bottom of message**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*tchow***Re: Would like to find study group for computer science comprehensive exams.**,*eternalsquire**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*eternalsquire***Re: Would like to find study group for computer science comprehensive exams.**,*muede73**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*eternalsquire**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*eternalsquire***Re: Would like to find study group for computer science comprehensive exams.**,*Ben Bacarisse**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*Jamie Andrews; real address @ bottom of message***Re: Would like to find study group for computer science comprehensive exams.**,*tchow***Re: Would like to find study group for computer science comprehensive exams.**,*Patricia Shanahan***Re: Would like to find study group for computer science comprehensive exams.**,*Patricia Shanahan***Re: Would like to find study group for computer science comprehensive exams.**,*tchow***Re: Would like to find study group for computer science comprehensive exams.**,*Dr A. N. Walker***Re: Would like to find study group for computer science comprehensive exams.**,*tchow***Re: Would like to find study group for computer science comprehensive exams.**,*Dr A. N. Walker**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*Jamie Andrews; real address @ bottom of message**Message not available***Re: Would like to find study group for computer science comprehensive exams.**,*tchow***Re: Would like to find study group for computer science comprehensive exams.**,*Harri Haanpaa*

**Orientation of rotationally invariant bit vectors**,*acd***CFG**,*lizzie***Re: CFG**,*Tor Myklebust*

**Is this an optimal solution?**,*Tonny***Re: Is this an optimal solution?**,*Jym***Re: Is this an optimal solution?**,*byte_me***Re: Is this an optimal solution?**,*Tonny***Re: Is this an optimal solution?**,*Tor Myklebust***Re: Is this an optimal solution?**,*Tonny*

**I'm confused: Turing machine model vs. interactivity**,*qt88717***Re: I'm confused: Turing machine model vs. interactivity**,*Barb Knox***Re: I'm confused: Turing machine model vs. interactivity**,*Michal Przybylek***Re: I'm confused: Turing machine model vs. interactivity**,*Jamie Andrews; real address @ bottom of message***Re: I'm confused: Turing machine model vs. interactivity**,*Antti Valmari*

**Grammar First Set**,*_nabuchodonozor***Re: Grammar First Set**,*Michael J. Fromberger*

**A question about regexes**,*Altu***KMP Algorithm supporting * notation**,*Altu***Re: KMP Algorithm supporting * notation**,*Jym***Re: KMP Algorithm supporting * notation**,*Tor Myklebust*

**Survey Help - Grad Student Independent Study**,*Anthony Viviano***Algorithm: Min cost in a 2D array**,*rogerhillster***Re: maximum common subgraph**,*GCRhoads***Re: Subset sum problem: probabilistic fast testing algorithm...**,*Yao Ziyuan***Re: Exploiting limitations of Turing machines in Turing tests?**,*Ben Bacarisse***Re: Exploiting limitations of Turing machines in Turing tests?**,*Tero Hakala*- <Possible follow-ups>
**Re: Exploiting limitations of Turing machines in Turing tests?**,*Barb Knox***Re: Exploiting limitations of Turing machines in Turing tests?**,*Patricia Shanahan*