automaton 0.0.2

Parse regular languages
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

#![allow(dead_code, unused_variables, unused_mut, unreachable_code)]
#![deny(warnings)]

macro_rules! set {
    () => ({ HashSet::new() });
    ($($elem:expr),*) => ({
        let mut s = HashSet::new();
        $(s.insert($elem);)*
        s
    })
}

macro_rules! debug {
    ($($arg:tt)*) => (if true { println!($($arg)*) });
}

mod alphabet;
mod automaton;
mod dfa;
mod expression;
mod transition;
mod util;

pub mod encoding;
pub use automaton::Automaton;
pub use expression::Expression;

use std::fmt;
use std::ops::Range;

/// A set of input values for a state machine
pub trait Token : fmt::Debug {
    /// Convert the range to a token
    fn from_range(range: &Range<u32>) -> Self;

    /// Return a representation of the token as a range
    fn as_range(&self) -> Range<u32>;
}

pub trait Input<T: Token> {
    fn as_u32(&self) -> u32;
}

mod core {
    pub use {Input, Token};
    pub use alphabet::{Alphabet, Letter};
    pub use automaton::Automaton;
    pub use dfa::Dfa;
    pub use transition::{Transition, Transitions};

    /// A state in an NFA or DFA
    pub type State = u32;

    /// A user defined action
    pub type Action<S> = Box<Fn(&mut S)>;
}

/// Used for compiling an expression
mod info {
    use std::ops;

    pub struct State {
        pub start: bool,
        pub terminal: bool,
        pub transitions: Vec<Transition>,
    }

    pub struct Transition {
        pub on: ops::Range<u32>,
        pub target: usize,
    }
}