automata_core 0.2.0

Deterministic and nondeterministic automata algorithms in Rust
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

use std::hash::Hash;

/// Automaton with optional **output labels** on states.
///
/// This trait does **not** assume a finite state set or alphabet: iterators
/// returned by [`states`](LabeledAutomaton::states) and
/// [`alphabet`](LabeledAutomaton::alphabet) are not required to end.
///
/// Semantics are intentionally minimal: there is no built-in “accepting” flag;
/// callers treat states where [`get_label`](LabeledAutomaton::get_label) returns
/// [`Some`] as final / accepting when modeling classical languages. For
/// `Label = ()`, that matches the usual “marked accepting states” encoding.
pub trait LabeledAutomaton<Label: Hash + Eq + Clone> {
    /// State type.
    type State: Hash + Eq + Copy;

    /// Input symbol type.
    type Input: Hash + Eq + Clone;

    /// Iterator over states of this automaton (not assumed finite).
    fn states<'a>(&'a self) -> impl Iterator<Item = Self::State> + 'a;

    /// Iterator over input symbols this automaton uses (not assumed finite).
    fn alphabet<'a>(&'a self) -> impl Iterator<Item = Self::Input> + 'a;

    /// Whether `state` belongs to the automaton.
    fn is_valid_state(&self, state: Self::State) -> bool;

    /// Whether `state` is an initial state.
    fn is_initial_state(&self, state: Self::State) -> bool;

    /// Get the label of `state`.
    fn get_label(&self, state: Self::State) -> Option<Label>;
}