L1 DFA

基于L1的Rust确定性有限状态自动机库。

功能

• try_parse(regex)
  • 空间复杂度 = $O(2^x)$
  • 时间复杂度 = $O(2^x)$
  • 最坏情况示例： /(01|10)*[01]{x}/
• x.接受(s)
  • 时间复杂度 = $s$
• x.is_empty()
  • 时间复杂度 = $x$
• x.complement()
  • 空间复杂度 = $x$
  • 时间复杂度 = $x$
• x.intersect(y)
  • 空间复杂度 = $xy$
  • 时间复杂度 = $xy$
• x.union(y)
  • 空间复杂度 = $xy$
  • 时间复杂度 = $xy$
• x.minimize()
  • 时间复杂度 = $x\log x\Sigma_x$
• x.is_subset_of(y)
  • 空间复杂度 = $xy$
  • 时间复杂度 = $xy$
• x.reverse()
  • 空间复杂度 = $O(2^x)$
  • 时间复杂度 = $O(2^x)$
  • 最坏情况示例： /[01]{x}(01|10)*/