Use complete epsilon-NFA states=[s4, m4, f4, e14, e24, d4], alphabet=[a4, b4], start=s4, final_states=[f4], transitions=[[s4, null, m4], [s4, null, d4], [m4, a4, m4], [m4, b4, f4], [f4, null, e14], [e14, null, e24]]. Each transition is [from,input symbol or null,to], with null consuming no input. States/labels and transitions must qualify, and subsets are unique carrier subsets sorted lexicographically. Empty alphabet/final sets and empty subset states are allowed. Given subset S=[s4, m4, d4], input symbol=a4. Give (subset, symbol, symbol_targets, epsilon_closed_targets, empty_dead_state, certificate).
G001 — Use complete epsilon-NFA states=[s4, m4, f4, e14, e24, d4], alphabet=[a4, b4], start=s4, final_states=[f4], transitions=[[s4, null, m4], [s4, null, d4], [m4, a4, m4], [m4, b4, f4], [f4, null, e14], [e14, null, e24]]. Each transition is [from,input symbol or null,to], with null consuming no input. States/labels and transitions must qualify, and subsets are unique carrier subsets sorted lexicographically. Empty alphabet/final sets and empty subset states are allowed. Given subset S=[s4, m4, d4], input symbol=a4. Give (subset, symbol, symbol_targets, epsilon_closed_targets, empty_dead_state, certificate).
Definition and scope
Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Keep the source snapshot while listing ordered fields without JavaScript.Radius uses its original mode to select6 or11 fields without padding;distinguish nonclaims from actual negations.
final set normalized UTF16=[f4];states nonempty,alphabet/finals/relation MAYEMPTY;DUPLICATE triples rejected in THIS model
Conditions: none
This model differs from the earlier NFA node:transition triples are unique and finals are sorted.Subsets must be actual carrier subsets;do not import old duplicate/final-order conventions.
Subset DFA ORIGINAL one-symbol transition:EXACT ORIGINAL supplied S=[d4, m4, s4];symbol=a4;ALL matching ORIGINAL edge rows=[[2, m4, m4]]
After
direct symbol targets=[m4];NO EPS preclosure inserted into S;now close ONLY these targets
Conditions: none
An arbitrary supplied S need not be EPS-closed;preclosing it would change this operation.Apply move(S,a) and then close its targets.Empty targets yield the legal empty dead state.
Each addition has a finite EPS predecessor path;every EPS-closed seed superset contains each stage.Finiteness gives the complete least closure,without consuming input.
S004 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S003 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S002 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
S001 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.
Result
([d4, m4, s4], a4, [m4], [m4], No, delta_D_equals_epsilon_closure_after_symbol_move_and_empty_subset_is_a_legal_dead_state)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
This question review and source binding
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.