This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
I have reclassified this from the WikiProject Philosophy to the WikiProject Computer Science. --AllyUnion(talk) 07:54, 18 March 2008 (UTC)
The Sipser text is a very general reference for an article that is about a specific representational form, not the theory of automata, languages, decidability, etc. As far as I am aware (text not to hand), Sipser is concerned with entirely with theory (mathematical concepts, definitions, proofs) not representation. I would suggest removing this reference, especially if a more appropriate text could be substituted, e.g., from the domain of systems analysis or systems design. Airsplit (talk) 16:42, 30 December 2010 (UTC)