https://hgpu.org/?p=5148
Regular Expression Matching and Operational Semantics