l1-dfa 0.1.1

Deterministic Finite-State Automata Library for Rust, written in L1
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use l1_dfa::{DFA};

#[test]
fn complement_aaa() {
   let mut d = DFA {
      states: vec![false,true],
      transitions: std::collections::HashMap::new(),
   };
   d.transitions.insert((0,'a'),1);
   d.transitions.insert((1,'a'),1);

   assert!( !d.accepts("") );
   assert!( d.accepts("a") );
   assert!( d.accepts("aa") );
   assert!( d.accepts("aaa") );

   let d = d.complement();
   assert!( d.accepts("") );
   assert!( !d.accepts("a") );
   assert!( !d.accepts("aa") );
   assert!( !d.accepts("aaa") );
}