LogoLogo
CtrlK
1.1.0
  • Home
  • Install
  • Docs
  • Contribute
  • Journey
  • Welcome
  • The Varphi Language Standard
    • Welcome
    • State Names
    • Tallies and Blanks
    • Head Directions
    • Lines
    • Comments
    • Varphi Programs
    • Addressing Ambiguities
  • Writing Varphi Programs
    • Your First Varphi Program
    • Running Varphi Programs
    • Debugging Varphi Programs
    • Complexity Analysis
    • The Varphi VS Code Extension
    • Good Practices
    • More Examples
      • Addition By One
      • Add Two Numbers
      • Multiplication By Two
      • Rock, Paper, Scissors
      • Coin Flip
  • Turing Machine Theory
    • The Unary Number System
    • Turing Machine Tapes
    • Turing Machine Heads
    • Turing Machine States
    • Turing Machines
    • Nondeterministic Turing Machines
Powered by GitBook
On this page

Was this helpful?

Edit on GitHub
Export as PDF
  1. The Varphi Language Standard

Varphi Programs

Varphi programs are extremely 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.

PreviousCommentsNextAddressing Ambiguities

Last updated 2 months ago

Was this helpful?

LogoLogo

© 2025 Hassan El-Sheikha