Varphi programs are extemely simple. They consist of lines, separated by newlines. They can also include comments.
Varphi supports both deterministic and nondeterministic Turing programs. Nondeterministic programs have two or more lines with the same condition, but with different instructions.