Crate rstm_programs 

The programs module provides various structures and utilities for defining and managing Turing machine programs, including rules, rule spaces, and program execution.

Modules

error

This module defines the custom error type for handling various actor-related errors.

program

rule_map

traits

the traits defining compatible rules within the framework

Structs

Program

The Program implementation is designed to provide a structured representation of a set of rules and an optional initial state for a Turing machine or similar computational model. It encapsulates the rules that dictate the machine’s behavior and the starting point for its execution.

RuleMap

Enums

Error

the various errors that can occur in the state module

Traits

RawPoint

RawProgram

RawSpace

The RawSpace trait defines the basic interface for any compatible stores used within the crate.

RuleSpace

The RuleSpace extends the RawSpace trait to introduce rule-specific functionality. It provides a method to retrieve the tail of a rule given its head.

Type Aliases

HeadMap

A type alias for a HashMap with keys of type Head<Q, S> and values of type Tail<Q, S>.

Result

A type alias for a Result that uses the custom Error type