<--- Back to Details
First PageDocument Content
Applied mathematics / Deterministic finite automaton / DFA minimization / Nondeterministic finite automaton / Regular expression / DFA Records / Normal distribution / Regular language / Structure / Automata theory / Theoretical computer science / Computer science
Date: 2013-04-24 11:35:08
Applied mathematics
Deterministic finite automaton
DFA minimization
Nondeterministic finite automaton
Regular expression
DFA Records
Normal distribution
Regular language
Structure
Automata theory
Theoretical computer science
Computer science

Automated Grading of DFA Constructions ∗ Rajeev Alur and Loris D’Antoni Sumit Gulwani Dileep Kini and Mahesh Viswanathan Department of Computer Science Microsoft Research Department of Computer Science

Add to Reading List

Source URL: research.microsoft.com

Download Document from Source Website

File Size: 765,03 KB

Share Document on Facebook

Similar Documents

Perl regular expression puzzle: even zeros and odd ones Greg Bacon  The challenge was to write a regular expression — subject to seemingly tight constraints: only literals, concatenation, Kleene star,

Perl regular expression puzzle: even zeros and odd ones Greg Bacon The challenge was to write a regular expression — subject to seemingly tight constraints: only literals, concatenation, Kleene star,

DocID: 1vc3D - View Document

Regular Expression Matching on Graphics Hardware for Intrusion Detection Giorgos Vasiliadis, Michalis Polychronakis, Spiros Antonatos, Sotiris Ioannidis, Evangelos P. Markatos FORTH-ICS, Greece

Regular Expression Matching on Graphics Hardware for Intrusion Detection Giorgos Vasiliadis, Michalis Polychronakis, Spiros Antonatos, Sotiris Ioannidis, Evangelos P. Markatos FORTH-ICS, Greece

DocID: 1v8HL - View Document

Derivative-Based Diagnosis of Regular Expression Ambiguity Martin Sulzmann1 and Kenny Zhuo Ming Lu2 1  Karlsruhe University of Applied Sciences

Derivative-Based Diagnosis of Regular Expression Ambiguity Martin Sulzmann1 and Kenny Zhuo Ming Lu2 1 Karlsruhe University of Applied Sciences

DocID: 1tI80 - View Document

Fixing Regular Expression Matching Failure Martin Sulzmann1 and Kenny Zhuo Ming Lu2 1 Karlsruhe University of Applied Sciences

Fixing Regular Expression Matching Failure Martin Sulzmann1 and Kenny Zhuo Ming Lu2 1 Karlsruhe University of Applied Sciences

DocID: 1tFZR - View Document