Deterministic behavior means that fixed inputs and conditions produce a fixed outcome. Programming languages and compilers aim for this predictability, while natural-language prompts to large language models do not guarantee one exact interpretation or answer. section 12.2.2
Determinism matters when deciding whether computer-generated results can be trusted:
- A compiler follows a programming-language specification and produces the specified behavior for each line of code. section 12.2.2
- An LLM may interpret the same natural-language request differently, producing an answer that varies or is wrong. section 12.2.2
- Generated Python remains easier to inspect and correct than machine code when an AI system makes a mistake. section 1.2.3
Compiler versus Copilot
A compiler can be trusted to apply a language specification consistently. Copilot receives a prompt in natural language, so its generated program still requires human checking to determine whether it does what was intended. section 12.2.2 section 1.2.3
Figure 1.2 Going from prompt to program with Copilot
Trace the transition from a Copilot prompt to a generated program and identify where human verification remains necessary. section 1.2.3









