Read-only release history for Algorithm-ConstructDFA