A Deterministic Finite Automaton for Faster Protein Hit Detection in BLAST.

Michael Cameron Hugh E. Williams Adam Cannane

Published in: J. Comput. Biol. (2006)

Keyphrases

deterministic finite automaton
sequence alignment
state space
model checking
protein structure
propositional logic