Just to calibrate: has the OP been satisfied? I *think* so, we discussed FSM's discussing their input string and their final state and whether that was the designated accept state.
And tho a Turing Machine is more than a FSM, the vocabulary of states, input strings and so on should answer the OP. I'm not sure the additional ideas on computation were coherent enough to add to his interest, but then, knowing Nick, I could be wrong! Hope the book reading is progressing with success, given our help. -- Owen
============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College to unsubscribe http://redfish.com/mailman/listinfo/friam_redfish.com
