wiki_research

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

k_unambiguous_universality (343B)

      1 # K unambiguous universality
      2 
      3 [PTIME], cf https://cstheory.stackexchange.com/a/25478 and https://games-automata-play.github.io/blog/universality_finitely_ambiguous/
      4 
      5 Up: [k_ambiguous_nfa], [automaton_universality]
      6 
      7 Aliases: universality k unambiguous, universality k ambiguous
      8 
      9 See also: [K_unambiguous_inclusion], [K_unambiguous_equivalence]