inner product

deterministic finite automata