wiki_research

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

automata_nondeterministic_partially_ordered (353B)

      1 # Partially ordered nondeterministic automaton
      2 
      3 - [automaton_universality]: [kroetzsch2017complexity]
      4 
      5 Up: [automata_nondeterministic]
      6 
      7 See also: [partial_order]
      8 
      9 Aliases: nondeterministic partially ordered automaton, nondeterministic partially ordered automata, partially ordered nondeterministic automaton, partially ordered nondeterministic automata