Begränsningsautomat

Inom datavetenskap är Constraint-automater en formalism för att beskriva beteendet och möjliga dataflöden i koordinationsmodeller . Det introducerades av Arbab et al. som en variant av finita automater för modellkontroll av Reo-kontaktkretsar.

Begränsningsautomater kan betraktas som generaliseringar av probabilistiska automater , där databegränsningar, istället för sannolikheter, märker tillståndsövergångar och påverkar deras avfyrning.