wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

counter_automata_deterministic (255B)

      1 # Counter automata deterministic
      2 
      3 for every *reachable* configuration (state, counter states), for every letter, there is at most one transition which is applicable (= whose guard is satisfied)
      4 
      5 Up: [counter_automata_definition], [automata_deterministic]