Struct StringRewritingSystem 

pub struct StringRewritingSystem {
    pub alphabet: Vec<char>,
    pub rules: Vec<(String, String)>,
}

A string rewriting system (monoid presentation).

Fields

alphabet: Vec<char>

Alphabet.

rules: Vec<(String, String)>

Rules: (lhs, rhs) as strings over the alphabet.

Implementations

impl StringRewritingSystem

pub fn new(alphabet: Vec<char>) -> Self

Creates a new SRS.

pub fn add_rule(&mut self, lhs: &str, rhs: &str)

Adds a rule.

pub fn rewrite_step(&self, s: &str) -> Option<String>

Applies one step of rewriting to a string (leftmost first match).

pub fn normalize(&self, s: &str, max_steps: usize) -> String

Applies rewriting until normal form (limit iterations).

pub fn are_equal_modulo(&self, s1: &str, s2: &str, max_steps: usize) -> bool

Checks if two strings are equal modulo rewriting (up to max_steps).

pub fn num_rules(&self) -> usize

Returns the number of rules.

Trait Implementations

impl Clone for StringRewritingSystem

fn clone(&self) -> StringRewritingSystem

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StringRewritingSystem

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.