mathlib3
feat(computability): prove equivalence of NFAs and regular expressions
#14250

Open

feat(computability): prove equivalence of NFAs and regular expressions #14250

RussellEmerine wants to merge 9 commits into master from RussellEmerine/DFA_equivalent_regular_expression

feat(library): prove NFAs are equivalent to regular expressions

597422de

doc(computability): documentation, TODOs, and questions

a4555bfe

style(computability): fix style and remove intermediate simp

cc326302

style(computability): fix long lines and braces

c8bbab49

RussellEmerine added awaiting-review

eric-wieser commented on 2022-05-19

eric-wieser removed awaiting-review

eric-wieser added awaiting-author

eric-wieser commented on 2022-05-20

feat(computability/regular_expressions): regex power operator

06f7cdbe

substituted a simplification

1a3971c6

Merge branch 'master' into RussellEmerine/DFA_equivalent_regular_expr…

6c94eb08

feat(computability/GNFA)

716cad86

Updated imports

c534d9d1

kim-em added too-late

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-author too-late

Milestone

No milestone