Formal Characterizations of FA-based String Processors.
Ernest Ketcha NgassamBruce W. WatsonDerrick G. KouriePublished in: Stringology (2010)
Keyphrases
- parallel algorithm
- pattern matching
- data structure
- parallel processing
- parallel computing
- information retrieval
- parallel execution
- string matching
- context free grammars
- formal specification
- formal model
- regular expressions
- formal methods
- parallel computation
- mathematical theory
- real time
- formal language
- single processor