<html> | |
<body> | |
<h1>The types of machine</h1> | |
<p>The XLIA language provides several types of high level machines :</p> | |
<ul> | |
<li>"system", to specify the main machine which represents the system being modeled (see <a href="1_system.html">system</a>)</li> | |
<li>"statemachine", to represent basic or composite automata (see <a href="2_0_stmach.html">statemachine</a>)</li> | |
<li>"state", to represent basic or composite states from a composite statemachine in a native and simplified way (see <a href="3_state.html">state</a>)</li> | |
</ul> | |
</body> | |
</html> |