rstm-actors 0.1.0

This crate focuses on building concrete implementations for Turing Machines.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

/*
    Appellation: tmh <module>
    Created At: 2025.08.31:00:16:37
    Contrib: @FL03
*/

mod impl_tmh;
mod impl_tmh_ext;

use rstm_core::head::Head;

/// The [`TMH`] is an implementation of a Turing Machine with a "moving head"; this behavior is
/// manifested here by using the current position of the head as its symbol, serving as a
/// mapping to a symbol on the tape. Every step taken by the machine will update the symbol of
/// the head, thus _moving_ it along the tape.
///
/// The implementation is one of the primary _drivers_ used by actors within the library.
/// By itself, the driver is not particularly useful, however, when given some input and a
/// program, it can be used to perform computations.
///
/// ## Usage
///
/// Before executing any particular program, the tape should be loaded up with the necessary
/// _inputs_ using the [`extend_tape`](TMH::extend_tape) method. The tape is represented
/// as a [`Vec<A>`], where `A` is the type of the symbols allowed on the tape. After setting
/// any inputs, we can use the [`execute`](TMH::execute) method to initialize a lazy executor
/// that will run the program whenever the `run`
///
#[derive(Clone, Default, Eq, Hash, PartialEq, PartialOrd)]
#[repr(C)]
pub struct TMH<Q, A> {
    /// the head of the tape
    pub(crate) head: Head<Q, usize>,
    /// the memory of the actor
    pub(crate) tape: Vec<A>,
}