Multi-Head MachinePalindrome CheckHeadsStart StateBlank SymbolHead 1 PositionHead 2 PositionTape InputProduction RulesCompact format: state,symbols → next,writes,moves# 2-Head Turing Machine: Palindrome Checker # Head 1 starts at position 0 (left end) # Head 2 starts at position 4 (right end) # They move towards center: H1 moves Right, H2 moves Left q0,aa -> q0,aa,rl q0,bb -> q0,bb,rl q0,cc -> q0,cc,rl q0,BB -> qa,BB,ss
