Goto

The Goto programming language is an esoteric language by User:Rdococ in which there are only goto statements, and goto statements can have multiple line numbers, which then the user specifies which one to go to.

Structure
Every instruction is of the form:

When encountering a goto statement with multiple parameters, the user can choose. It is as simple as that. Seriously. If the program attempts to go to an invalid line like 0 or a line past the EOF, then it terminates.

Note that the user does not know the line numbers themselves and will have to make a blind choice.

Computational Class
Goto programs are quite literally finite state automata. The lines are the states, and the gotos are the transitions. This was intentional.

Truth-machine
If you decide to go to 0, then the program halts. If you decide to go to 2, the program will never halt.

Implementations
This is a list of programs that compile or interpret Goto code. They may have differing behavior in some circumstances.
 * TCL