Skip to content

Instantly share code, notes, and snippets.

@awalterschulze

awalterschulze/medium-derivative-of-a-regex-nullable-answer-2.hs Secret

Created August 31, 2022 08:35
Show Gist options
  • Save awalterschulze/5d1e049e99fff677ceee75ae19c1c723 to your computer and use it in GitHub Desktop.
Save awalterschulze/5d1e049e99fff677ceee75ae19c1c723 to your computer and use it in GitHub Desktop.
Download ZIP
medium-derivative-of-a-regex-nullable-answer-2.hs
Raw
medium-derivative-of-a-regex-nullable-answer-2.hs
nullable "a*(b*|∅)"
= nullable "a*" `and` nullable "b*|∅"
= true `and` (nullable "b*" `or` nullable "∅")
= true `and` (true `or` false)
= true
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment