Expand description
Rules for the rstm framework
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§
- Learned
Rule - Program
- A
Programdefines an optional initial state along with a set of rules that dictate the behavior of the system. - Rule
- The
Ruleimplementation is a concrete representation of a single instruction, or rule, within a given Turing machine program. It encapsulates the necessary components to define the behavior of the Turing machine when it encounters a specific state and symbol. - RuleMap
Enums§
- Error
- the various errors that can occur in the state module
Traits§
- Directive
Directiveis a trait describing thetailof a typical Turing machine;- Instruction
- The
Instructiontrait defines the expected behaviors of a particular rule within a Turing machine program. - RawSpace
- The
RawSpacetrait establishes the basis for all rule spaces within the library. - Rule
Space - Scope
- The
Scopetrait is used to describe objects containing information or references to the current state and symbol of a Turing machine.
Type Aliases§
- HeadMap
- A type alias for a
HashMapwith keys of typeHead<Q, S>and values of typeTail<Q, S>. - Result
- A type alias for a
Resultthat uses the customErrortype