wiki_research

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

automaton_acceptance (349B)

      1 # Automaton acceptance
      2 
      3 Given [automaton] A and [word] w, [decide] if A accepts w
      4 
      5 - [NFA_acceptance]: [state_set_simulation]
      6 
      7 [lower_bounds] from [ov_conjecture], see [backurs2016which]
      8 
      9 Up: [automata_problems], [membership_problem]
     10 
     11 See also: [regular_language_membership], [amarilli2025linear]
     12 
     13 Aliases: automaton membership, automata membership