Tilan ja toiminnan tehokkuus: alusta-automaatit