Crate rstm

rstm

rstm is a Rust library dedicated to the construction and execution of Turing Machines. The crate is designed to be flexible and easy to use while preserving the abstract nature of the models.

Modules

• actors
  Actors
• error
• mem
  Memory (mem)
• prelude
• rules
• state
• traits
• types

Macros

• ruleset
  [ruleset!] is a macro that simplifies the creation of a vector of Rules.
• state

Structs

• Actor
  An Actor is an implementation of a Turing machine with a moving head (TMH).
• DirectionIter
  An iterator over the variants of Direction
• Head
  The Head is formally defined to be a 2-tuple consisting of a state / symbol pair.
• Rule
• Ruleset
• State
  State is a generalized state implementation, representing the state of a system or object.
• Tail
  The Tail is a 3-tuple containing the direction, state, and symbol that an actor is instructed to execute whenever it assumes the head configuration assigned to the tail.

Enums

• Direction
  Direction enumerates the various directions a head can move, namely: left, right, and stay.
• Error

Traits

• Alphabet
  Alphabet describes a finite set of symbols used to construct a formal language.
• AsDirection
  The AsDirection trait provides a convience method for converting a type into a Direction.
• Decrement
  Decrement is a trait that provides a common interface for decrementing values; i.e., subtracting one from a value.
• DecrementAssign
  DecrementAssign is a trait that provides a common interface for decrementing values in place.
• HashIndex
• Increment
  Increment is a trait that provides a common interface for incrementing values; i.e., adding one to a value.
• IncrementAssign
  IncrementAssign is a trait that provides a common interface for incrementing values in place.
• Incremental
  Incremental is a trait that provides a common interface for incrementing and decrementing values.
• Index
• IntoDirection
  The IntoDirection trait provides a convience method for converting a type into a Direction.
• Symbolic
  Symbolic is a trait denoting types that can be used as symbols; this is useful for allowing symbols to represented with char or be a position on the tape, value mapping for an alphabet,.