Crate rstm_core

rstm-core

The rstm-core crate provides the core functionality for the rstm library.

Features

Components

• Rules
• States

Tapes

• [StdTape]
• HashTape

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,.