De The Elements of Computing Systems, tradução minha:
Linguagens de máquina possuem diversas variantes de instruções goto ("vá para") condicionais e incondicionais, bem como statements de declaração de rótulo (label) que marcam o destino do goto.
Uma instrução goto pelo que entendi é uma instrução de linguagem de máquina para efetuar branching ou desvio para uma determinada posição do programa, que pode ser condicional ou incondicional.
Instruções de uma linguagem de máquina hipotética como JEQ ("Jump if equal"), JNE, JGE ("Jump if greater than or equal"), JLE, JG, JL, JZ ("Jump if zero") além da JMP que é incondicional então são todas instruções goto? É um termo que denomina coletivamente essas instruções de máquina?
Existe diferença entre uma instrução goto e um statement goto <label>;
usado em linguagens de alto nível, como C?
Acredito que sim, pois penso que o statement pode ser otimizado pelo compilador para se tornar um desvio condicional dependendo do contexto, por exemplo:
if (x == 0) goto label;
O trecho acima poderia ser traduzido para uma instrução JZ (Jump if zero) e não uma simples JMP.