counter_automata_definition (513B)
1 # Counter automata definition 2 3 from [gelade2009regular]: 4 5 - counter variables 6 - function that gives initial values to counters 7 - function that gives maximal values to counters 8 - beyond these maximal values you ignore what the value is 9 - transitions have 10 - a guard: boolean combination of equalities and inequalities on counter values 11 - an update operation: increment counter or reset counter (to its initial value?) 12 - final states also have a guard 13 14 [counter_automata_deterministic] 15 16 Up: [counter_automata]