決定論的ではなくて形式的?

@VisualBasist: LLMも決定論的に動かせるからコンパイラと比べるなら形式的の方がいいと思ってるけどどう…?