wiki_research

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

omega_automata (227B)

      1 # Omega automata
      2 
      3 - [muller_automaton] with [muller_acceptance]
      4 - [buchi_automaton] with [buchi_acceptance]
      5 - [parity_automaton] with [parity_acceptance]
      6 
      7 Up: [automata]
      8 
      9 See also: [word_infinite], [automata_on_infinite_words]