Ryan, you are totally correct. a mealy machine has the same power as a finite state machine, FSM. I wasn't working with Mealy machines but GSMs. sorry, I...
105
Vladimir Z. Nuri
vznuri@...
Sep 1, 1998 9:12 pm
Nico: I went through your paper pretty thoroughly. I studied my good group theory book. for anyone looking, there is a great book for beginners on group theory...
106
Nico Benschop
benschop@...
Sep 1, 1998 9:37 pm
Some interesting thoughts of a well known math-historian: On abstraction, specialisation and divergence - - - - - - - - - - - - - - - - - - - - - - - - -...
107
Nico Benschop
benschop@...
Sep 1, 1998 10:40 pm
... Right, I used the "function" for a mapping a: Q --> Q and the concept of function composition ab: Q --> Q to denote what you get after composing (qa)b =...
108
Vladimir Z. Nuri
vznuri@...
Sep 1, 1998 11:06 pm
Nico: I enjoy ET Bell a lot too. one of my favorite math writers. very opinionated. readers should consider the books "Men of Mathematics" and "The Last...
109
SuperRyan@...
Sep 2, 1998 8:44 pm
... I have read the section on GSMs in Hopcroft and Ullman... I think that GSMs are still equivalent to finite automata, simply because they have no ...
110
Vladimir Z. Nuri
vznuri@...
Sep 3, 1998 7:25 am
ok Ryan, you are a bit persistent, which I always admire. <g> an intelligent challenge. you read hopcroft & ullman? halleluja. can't ask much more than that....
111
Vladimir Z. Nuri
vznuri@...
Sep 3, 1998 7:28 am
BTW ryan, I didn't notice in your post-- you interpreted the way of doing a computation using multiple GSMs, GSM1,GSM2, such that we have a computation like...
112
SuperRyan@...
Sep 3, 1998 6:13 pm
<< you read hopcroft & ullman? halleluja. can't ask much more than that. unless you haven't read any of the url's I've given you. >> I've read pieces of the...
113
Vladimir Z. Nuri
vznuri@...
Sep 3, 1998 8:55 pm
uh Ryan, nothing personal, but "a little knowledge is a dangerous thing". A mealy machine is not a FSM. mealy and moore machines are FSMs with the notion of an...
114
peter hines
max003@...
Sep 4, 1998 10:47 am
Hi. I'm new to this mailing list, but the current thread (i.e. mealy machines, Finite state automata, semigroups, Turing machines) is my sort of area of...
115
SuperRyan@...
Sep 4, 1998 7:05 pm
In a message dated 98-09-03 16:55:50 EDT, you write: << uh Ryan, nothing personal, but "a little knowledge is a dangerous thing". >> Sure. I admit I am new to...
116
Stefan Bruda
bruda@...
Sep 4, 1998 8:05 pm
... Hi Ryan. Well, I did have some concerns about GSMs and their computational power as claimed in the previous posts, but I patiently read the messages and I...
117
Nico Benschop
benschop@...
Sep 4, 1998 9:03 pm
... [...] a lot about existence of a Language & an Automaton recognizing it. ... But I see nothing about optimal implementation & decomposition. Is that to...
118
Vladimir Z. Nuri
vznuri@...
Sep 4, 1998 9:14 pm
ryan: I appreciate your posts, don't take it personally. I always thought "a little knowledge is a dangerous thing" is just a funny expression. I apply it to...
119
peter hines
max003@...
Sep 5, 1998 3:30 pm
On Fri, 04 Sep 1998 23:03:05 +0100 Nico Benschop ... Ok. The reference is http://www.bangor.ac.uk/~max003/papers.html and the paper in question is 'The role of...
120
Nico Benschop
benschop@...
Sep 6, 1998 9:43 pm
Hi, Vladimir asked me to give an example of how my semigroup approach to FLT (case1: x^p + y^p = z^p mdo p^k; x,y,z coprime to p) works. Prime p=59 is a nice...
121
Vladimir Z. Nuri
vznuri@...
Sep 9, 1998 1:47 am
the facial recognition techniques are getting very good... ... Date: Wed, 09 Sep 1998 09:07:57 -0500 To: believer@... From: believer@... ...
122
Jean-Camille Birget
birget@...
Sep 11, 1998 3:12 pm
____________________________________________________________________ List Site: http://www.findmail.com/list/theory-edge/ To unsubscribe, send to...
123
Vladimir Z. Nuri
vznuri@...
Sep 11, 1998 8:51 pm
a correspondent wrote the following to me on the Riemann conjecture. "counted with multiplicities" seems a bit vague, maybe someone can clarify. ... ...
124
Vladimir Z. Nuri
vznuri@...
Sep 12, 1998 11:17 pm
just for the archives, here's a slightly more exact formulation ... If n=(p1^n1)*(p2^n2)*..... then f(n)=((-1)^n1)*((-1)^n2)*.... obviously another way to...
125
peter hines
max003@...
Sep 14, 1998 2:46 pm
Hello again. I said that I'd take a look at the paper on Generalised state machines, etc. I think that most the comments I wanted to make have already been...
126
Nico Benschop
benschop@...
Sep 14, 1998 6:08 pm
... Yeah, just a terminology thing. They are equivalent all right. To me, a Moore machine is a State Machine, with output=state, with no special arrangement to...
127
SuperRyan@...
Sep 14, 1998 8:34 pm
In a message dated 98-09-14 10:46:33 EDT, you write: << I won't attempt to prove it directly, but to answer the point about finite storage: >> After thinking...
128
Vladimir Z. Nuri
vznuri@...
Sep 15, 1998 2:27 am
hi Peter, thanks for the msg. nicely written. glad you have no objections. you do question what the point of it all is, though. let my try to "advertise" a...
129
Vladimir Z. Nuri
vznuri@...
Sep 15, 1998 2:40 am
people have not been talking about books too much here, at least less than I hoped. I want to encourage everyone to talk about your favorite books. I'll...
130
Vladimir Z. Nuri
vznuri@...
Sep 15, 1998 7:25 am
... Date: Mon, 14 Sep 1998 10:31:49 -0500 To: believer@... From: believer@... Subject: IP: DNA-Powered Computers: Patent Received Source:...
131
Nico Benschop
benschop@...
Sep 15, 1998 11:55 am
... Nico B: The text-recognition automaton of this list did it again: cut the bottom part of my posting! (my warning the WebMaster did not help, apparently;-(...
132
Vladimir Z. Nuri
vznuri@...
Sep 18, 1998 8:08 am
xxx.lanl.gov, the physics archives, have just added a computation section. I've been waiting for this! I hope it becomes as popular as the physics sections. a...
133
JDPeh@...
Sep 18, 1998 4:30 pm
... e. ... Hi all! Vladimir, does that book say anything at all about PSpace or QBF? As you know, that's my big kick these days. The idea that the PSpace=?NP...
