subword_automaton (468B)
1 # Subword automaton 2 3 [Automaton] that accepts the language of the [subwords] of [word]s accepted by another [automaton] 4 5 - given an [automaton], can build subword automaton as [automata_nondeterministic] 6 - cf [karandikar2014state] Section 3.1 7 - given an [automata], [exponential] blowup to build subword automaton as [automata_deterministic] 8 - already on an alphabet of size 2 9 - cf [karandikar2014state] Section 3.2 10 11 Up: [subword] 12 13 See also: [subword_universal]