Stav dette: Машины-автоматы (теория и расчет)