https://github.com/rachitnigam/regexmatcher
An implementation of a regex matcher based on Brzozowski derivatives
https://github.com/rachitnigam/regexmatcher
Last synced: 4 months ago
JSON representation
An implementation of a regex matcher based on Brzozowski derivatives
- Host: GitHub
- URL: https://github.com/rachitnigam/regexmatcher
- Owner: rachitnigam
- Created: 2016-06-16T20:07:36.000Z (about 9 years ago)
- Default Branch: master
- Last Pushed: 2016-06-23T19:59:26.000Z (about 9 years ago)
- Last Synced: 2025-01-18T16:50:12.543Z (5 months ago)
- Language: Scala
- Size: 44.9 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# RegexMatcher
An implementation of a regex matcher based on [Brzozowski derivatives](https://en.wikipedia.org/wiki/Brzozowski_derivative)Regex defined in this language use the following BNF:
```ocaml
w := [A-Z a-z 0-9]r := w
| r* (Iteration)
| r1 + r2 (choice operation)
| r1.r2 (sequencing)
| (r)
```