wiki_research

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

automata_acyclic (207B)

      1 # Automata acyclic
      2 
      3 [Automaton] whose underlying [directed_graph] is a [DAG].
      4 
      5 Recognizes a [finite_language]
      6 
      7 Up: [automata_classes], [automata_weakly_acyclic]
      8 
      9 Aliases: acyclic automata, acyclic automaton