oxilean-std 0.1.2

OxiLean standard library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

//! Computability and decidability theory.
//!
//! This module provides:
//! - [`TuringMachine`]: a deterministic single-tape Turing machine simulator
//! - [`RegisterMachine`]: a Minsky/counter machine simulator
//! - [`DecidabilityResult`]: classification of computational problems
//! - [`ComplexityClass`]: standard complexity classes (P, NP, PSPACE, ...)
//! - Functions for simulating TMs, register machines, and looking up known decidability results

pub mod functions;
pub mod types;

pub use functions::*;
pub use types::*;