英数字の x86 オペコードの最小限の、計算上普遍的なサブセットを作成しようとしています。最終的には、サブセットに含まれる命令をできるだけ少なくしたいと考えており、最小サブセットが複数ある場合は、それも知りたいと考えています。サブセットは、英数字命令のセット全体で作成できるプログラムをシミュレートできる必要があります。命令は、文字「AZ」、「az」、および「0-9」に対応する命令のみをカバーする必要があります。
これまでのところ、 、 、 、 、 で十分だと思いますpushがpop、incもっとdec小さいcmpセットjeがあると確信しています。私が生成したセットが、すべての英数字命令を使用して任意のプログラムをシミュレートできることを証明するにはどうすればよいでしょうか? そのようなセットが最小であることをどのように証明できますか? そのような命令サブセットが存在するかどうかは誰にもわかりませんか?