Mathematical and Computer Modelling · 1997 · 16 citations · 19 references
EngineeringComputer ScienceProcess ValidationData ValidationModel ValidationProcess ModelingModel VerificationSgml Encoding
19
Introduction to automata theory, languages, and computation
Computer Languages · 1980 · 6.9K citations
Derivatives of Regular Expressions
Janusz Brzozowski · Journal of the ACM · 1964 · 931 citations · Full text
Programming Techniques: Regular expression search algorithm
Thompson Ken · Communications of the ACM · 1968 · 839 citations · Full text