機械語（Machine code）は、コンピュータが理解できる言語のことを指します。機械語は、0と1の二進数で表された命令を使用して、コンピュータが実行するプログラムを表します。機械語は、コンピュータのCPUにとって直接実行可能な形式の命令であるため、高速な処理速度を実現することができます。
機械語は、コンピュータのCPUごとに異なるため、異なるプロセッサで実行するためには異なる機械語のプログラムが必要となります。そのため、コンピュータによって機械語のプログラムを書くことは困難であり、機械語のプログラムを生成するためにアセンブラやコンパイラのような専用のツールが必要とされます。
バイナリコードとは、機械語のプログラムを表すために使用される二進数の列のことを指します。バイナリコードは、機械語プログラムを表す最も基本的な形式であり、通常は16進数表記されます。バイナリコードは、機械語プログラムの実行に必要であり、コンピュータによって直接実行されます。
人間が書くプログラムコードは「高水準プログラミング言語」と言われます。これをコンパイルすると機械語（バイナリコード）になります。