The transition function ' ' in multi-tape Turing machine is defined as:

1. Aδ : 2Q × Γᵏ → 2^Q × Γᵏ × {L, R, S}ᵏ
2. Bδ : Q × Q × Γᵏ → Q × Q × Γᵏ × {L, R, S}ᵏ
3. Cδ : Q × Γᵏ → Q × Γᵏ × {L, R, S}ᵏ
4. Dδ : Q × Γᵏ × 2^Q → Q × Γᵏ × 2^Q × {L, R, S}ᵏ

Pick an option to check yourself, or open the answer below.

Show answer & explanation

Correct answer: C. δ : Q × Γᵏ → Q × Γᵏ × {L, R, S}ᵏ

Explanation

A k-tape TM reads one symbol per tape, then moves to a new state, writes k symbols and moves each head L, R or S: δ : Q × Γᵏ → Q × Γᵏ × {L, R, S}ᵏ.