Skip to content

Latest commit

 

History

History
31 lines (29 loc) · 1.44 KB

README.md

File metadata and controls

31 lines (29 loc) · 1.44 KB

L1 DFA

Deterministic Finite-State Automata Library for Rust, written in L1.

Features

  • try_parse(regex)
    • space complexity = $O(2^x)$
    • time complexity = $O(2^x)$
    • worst case example: /(01|10)*[01]{x}/
  • x.accepts(s)
    • time complexity = $s$
  • x.is_empty()
    • time complexity = $x$
  • x.complement()
    • space complexity = $x$
    • time complexity = $x$
  • x.intersect(y)
    • space complexity = $xy$
    • time complexity = $xy$
  • x.union(y)
    • space complexity = $xy$
    • time complexity = $xy$
  • x.minimize()
    • time complexity = $x\log x\Sigma_x$
  • x.is_subset_of(y)
    • space complexity = $xy$
    • time complexity = $xy$
  • x.reverse()
    • space complexity = $O(2^x)$
    • time complexity = $O(2^x)$
    • worst case example: /[01]{x}(01|10)*/