A simple example Turing machine is specified by the facts: rule(q0, 1, q0, 1, right). rule(q0, b, qf, 1, stay).
Простий приклад машини Тюринга визначається фактами: rule(q0, 1, q0, 1, right). rule(q0, b, qf, 1, stay).