This subsection describes modules relating to programs—Forlan's alternative to Turing machines. The Var module defines the abstract type of program variables, and the VarSet module provides operations on sets of variables. And, the Prog module defines the abstract type of programs.
Forlan Version 4.15
Copyright © 2022 Alley Stoughton