Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!mcsun!ukc!tcdcs!csvax1.cs.tcd.ie!swift.cs.tcd.ie!vms.eurokom.ie!ccvax.ucd.ie!eweb
From: eweb@ccvax.ucd.ie
Newsgroups: comp.ai
Subject: (In)Finite State Worms
Message-ID: <78.2559de96@ccvax.ucd.ie>
Date: 9 Nov 89 20:31:18 GMT
Organization: University College Dublin
Lines: 27

lishka@uwslh.UUCP (Not an illusion!) Christopher Lishka writes:

> I find it amusing that after 22 years there
> still wasn't any model discovered for a fairly "low-level" function
> like locomotion.  

You'd probably find a lot of research in robotics rather amusing too.

> I am not up enough on theory to give a proof for or
> against, but personally I would think it is beyond a simple finite
> state automata.  Or maybe I have just missed something here.

Yes you have missed something.
It is beyond a *simple* finite state automaton. The question 
should be is it beyond a *complex* finite state automaton? 

Push down automata are great in theory, but they don't exist. 
Unless of course someone out there has invented a machine with an 
infinite stack. 

------------------------------------------------------------------
Eamonn Webster.    
Artificial Intelligence Research Centre,
Department of Computer Science,
University College Dublin,
Dublin 4.,
Ireland.