Feature: Determine required characters for a DFA match
Feature: Determine required characters for a DFA match: a task in LegoFlow-SWE (Harbor dataset). We need a function fsm detect required characters that, given a deterministic finite automaton (DFA), computes the set of characters that must appear in every possible input string that the DFA…
The task
We need a function `fsm_detect_required_characters` that, given a deterministic finite automaton (DFA), computes the set of characters that **must** appear in every possible input string that the DFA accepts. The result is a bitset (a `uint64_t charmap[4]`) where bit N is set if the character/byte N is required. The…
Part of Lego-X/LegoFlow-SWE.