<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jan 29, 2015 at 10:21 AM, Shachar Shemesh <span dir="ltr"><<a href="mailto:shachar@shemesh.biz" target="_blank">shachar@shemesh.biz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
  
    
    
  
  <div style="direction:ltr" bgcolor="#FFFFFF" text="#000000"><span class="">
    <div>On 28/01/15 20:04, Oleg Goldshmidt
      wrote:<br>
    </div>
    <blockquote type="cite">
      <pre>Omer Zak <a href="mailto:w1@zak.co.il" target="_blank"><w1@zak.co.il></a> writes:

</pre>
      <blockquote type="cite">
        <pre>After a brief Google search:
Does anyone know about any research, theory or practice of time-varying
finite state machines?
</pre>
      </blockquote>
      <pre>Short answer: I don't. ;-) I'll offer a couple of thoughts, anyway.

</pre>
      <blockquote type="cite">
        <pre>I mean FSMs which might grow a new state, remove a state, add/subtract
transitions by means of meta-rules.
</pre>
      </blockquote>
      <pre>I suppose it may be possible to write a FSM in such a way that
adding/removing the allowed states and transitions dynamically would be
possible. This would not be enough, though: any "interesting" FSM would
not just formally move from one state to another but do custom stuff as
a part of a transition, and one would want to create and load such
custom code dynamically.

</pre>
    </blockquote></span>
    Didn't you just describe a Turing machine?</div></blockquote><div>Turing machine is finite and has certain number of states with defined transitions. I think what Omer meant here was more of a dynamic Turing machine.</div><div><br></div><div>-- </div><div>Ori Idan</div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="direction:ltr" bgcolor="#FFFFFF" text="#000000"><span class="HOEnZb"><font color="#888888"><br>
    <br>
    Shachar<br>
  </font></span></div>

<br>_______________________________________________<br>
Linux-il mailing list<br>
<a href="mailto:Linux-il@cs.huji.ac.il">Linux-il@cs.huji.ac.il</a><br>
<a href="http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il" target="_blank">http://mailman.cs.huji.ac.il/mailman/listinfo/linux-il</a><br>
<br></blockquote></div><br></div></div>