I see no reason why that can't be modeled as an automata? Nondeterministic automata are still automata. I think your meanings of 'deterministic' are confused- i

I see no reason why that can't be modeled as an automata? Nondeterministic automata are still automata. I think your meanings of 'deterministic' are confused- it's about impulse response. A little bit of stochasticity in the thermal voltage doesn't ruin the determinacy of a computers ALU operational modes.