title: Is there a programming language with built-in state machine construct?
body: <p>I am just curious if there is a programming language which has state machines (similar to boost::statechart) as primary language construct.</p>
  
  <p>Analogies - c# has delegates  where java uses the observer pattern and C has callbacks. Perl and python have built-in hashes while C++ and java needs a library.</p>
  
  <p><strong>Update:</strong></p>
  
  <p>This should be general programming language in the sense of C++, C#, Java, Lisp ...</p>
  
  <p>I mean "mature" state machines with all bells and whistles on the level of Harel formalism or UML state diagrams or boost::statechart.</p>