wiki_research

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

automata_alternating (248B)

      1 # Automata alternating
      2 
      3 An [automaton] where the [states] can be [existential_states] or [universal_states]
      4 
      5 Generalizes [NFAs]
      6 
      7 Can be seen as an [arena] in [game_theory]
      8 
      9 Up: [automata_types]
     10 
     11 Aliases: alternating automaton, alternating automata