wiki_research

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

automata_alternating (354B)

      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 - [automata_alternating_provenance]
     10 
     11 Up: [automata_types]
     12 
     13 Aliases: alternating automaton, alternating automata
     14 
     15 See also: [alternating_turing_machine], [tree_automata_alternating]