The types of machine

The XLIA language provides several types of high level machines :