Regular Expression Search Algorithm

E162100

Regular Expression Search Algorithm is a pattern-matching method for efficiently finding text strings that match specified regular expressions, originally developed and formalized by computer scientist Ken Thompson.

All labels observed (1)

Label Occurrences
Regular Expression Search Algorithm canonical 1

How this entity was disambiguated

Statements (49)

Predicate Object
instanceOf computer science concept
pattern-matching algorithm
string-search algorithm
basedOn finite automata theory
regular expressions
developedBy Ken Thompson
era late 1960s
field computer science
software engineering
theoretical computer science
formalizedBy Ken Thompson
influenced UNIX text processing tools
modern regex libraries
influencedBy automata theory
formal language theory
input regular expression pattern
text string
notableImplementation DFA-based regex engine
Thompson's algorithm for regular expression matching
surface form: Thompson NFA construction

backtracking regex engine
originallyUsedIn UNIX text processing
output positions of matches in text
set of matches
property can be implemented using backtracking
can be implemented using finite automata
supports complex pattern operators
relatedTo lexical analysis
pattern matching in programming languages
string-search algorithm
solvesProblem matching strings against regular expressions
searching text for patterns
supports Kleene star operator
alternation operator
anchors
character classes
concatenation operator
timeComplexity linear time for DFA-based implementations
potentially exponential time for naive backtracking implementations
varies by implementation
usedIn compilers
data validation systems
programming language runtimes
search tools
text editors
usesConcept backtracking
deterministic finite automaton
NFA
surface form: nondeterministic finite automaton

pattern matching
state machine

How these facts were elicited

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Ken Thompson thesisTitle Regular Expression Search Algorithm