δ\deltaδ: Q×Σ→QQ \times \Sigma \rightarrow QQ×Σ→Q, eine Übergangsfunktion
{{TODO}} δ\deltaδ - eine eindeutige Übergangsfunktion, d.h. es gibt keine Wahlmöglichkeiten