Comments on: Languages and automata, part 2 http://www.monomorphic.org/wordpress/languages-and-automata-part-2/ Conceptual meandering Sun, 29 Jan 2012 09:15:18 +0000 hourly 1 http://wordpress.org/?v=3.2.1 By: Monomorphic — On statefulness http://www.monomorphic.org/wordpress/languages-and-automata-part-2/comment-page-1/#comment-1060 Monomorphic — On statefulness Tue, 15 Jun 2010 23:25:00 +0000 http://www.monomorphic.org/wordpress/?p=175#comment-1060 [...] year I made some attempts at free association around formal languages and state machines. But at that time, not much was said about the idea of a state itself; an idea [...] [...] year I made some attempts at free association around formal languages and state machines. But at that time, not much was said about the idea of a state itself; an idea [...]

]]> By: johan http://www.monomorphic.org/wordpress/languages-and-automata-part-2/comment-page-1/#comment-68 johan Fri, 17 Jul 2009 04:21:36 +0000 http://www.monomorphic.org/wordpress/?p=175#comment-68 State is the only way to model some things it seems so we can't really get away from it. The problem is that if you have N objects, each of which can be in one of M states, the number of states of the entire system increases exponentially with N. This makes the whole thing hard to verify and reason about, both for people and verification tools. It seems a good design seeks to "minimize the number of moving parts" ;-) But of course they're fun to think about. Telecom switching is cool, lots of advanced technologies seem to come out of it, like the Erlang language developed at Ericsson. State is the only way to model some things it seems so we can’t really get away from it. The problem is that if you have N objects, each of which can be in one of M states, the number of states of the entire system increases exponentially with N. This makes the whole thing hard to verify and reason about, both for people and verification tools. It seems a good design seeks to “minimize the number of moving parts” ;-)

But of course they’re fun to think about.

Telecom switching is cool, lots of advanced technologies seem to come out of it, like the Erlang language developed at Ericsson.

]]> By: Hannu http://www.monomorphic.org/wordpress/languages-and-automata-part-2/comment-page-1/#comment-67 Hannu Thu, 16 Jul 2009 19:08:19 +0000 http://www.monomorphic.org/wordpress/?p=175#comment-67 I remember with some nostalgia my first software job, programming a telecom switch. The software was structured as a number of state machines, and this suited the application very well.I loved state machines...It took some experience from other applications to realize that sometimes stateless design is better! I guess this is similar to get attached to a specific programming language. I remember with some nostalgia my first software job, programming a telecom switch. The software was structured as a number of state machines, and this suited the application very well.I loved state machines…It took some experience from other applications to realize that sometimes stateless design is better! I guess this is similar to get attached to a specific programming language.

]]>