title: How does "δ:Q×Σ→Q" read in the definition of a DFA (deterministic finite automaton)?
body: <p>How do you say <code>δ: Q × Σ → Q</code> in English? Describing what <code>×</code> and <code>→</code> mean would also help.</p>