コンピュータの専門じゃないから知らん。だがノイマンのことだから
プログラムミング理論の数学モデルでも構築したんじゃないのか？
その評価は専門の人に聞いてくれ。