I am just curious if there is a programming language which has state machines (similar to boost::statechart) as primary language construct.
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.
Update:
This should be general programming language in the sense of C++, C#, Java, Lisp ...
I mean "mature" state machines with all bells and whistles on the level of Harel formalism or UML state diagrams or boost::statechart.