Forlan Manual


Programs

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.

The Var Module

The VarSet Module

The Prog Module


[ Top | Parent | Root | Contents | Index ]

Forlan Version 4.10
Copyright © 2018 Alley Stoughton