Hilfe beim Zugang
Haben Sie den VPN-Client gestartet bzw. sind Sie via Shibboleth angemeldet (weitere Informationen)?
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions
We describe the formalization of Brzozowski and Antimirov derivative based algorithms for regular expression parsing, in the dependently typed language Agda. The formalization produces a proof that either an input string matches a given regular expression or that no matching exists. A tool for regul...
Ausführliche Beschreibung