要证明“不可以在输入上写入的固定大小的纸带图灵机等价于确定有限自动机”，可以使用代码示例来展示这一等价关系。

首先，我们需要定义一个确定有限自动机。下面是一个使用Python编写的简单示例：

class DeterministicFiniteAutomaton:
    def __init__(self, states, alphabet, transition_function, start_state, accepting_states):
        self.states = states
        self.alphabet = alphabet
        self.transition_function = transition_function
        self.start_state = start_state
        self.accepting_states = accepting_states

    def run(self, input_string):
        current_state = self.start_state
        for symbol in input_string:
            if symbol not in self.alphabet:
                return False
            current_state = self.transition_function[current_state][symbol]
        return current_state in self.accepting_states

接下来，我们将使用一个示例来证明固定大小的纸带图灵机可以转换为等价的确定有限自动机。假设有一个纸带图灵机，它的输入只能在纸带上向右移动，并且纸带的大小是有限的。

class TuringMachine:
    def __init__(self, states, alphabet, transition_function, start_state, accepting_states):
        self.states = states
        self.alphabet = alphabet
        self.transition_function = transition_function
        self.start_state = start_state
        self.accepting_states = accepting_states

    def run(self, input_string):
        tape = list(input_string)
        current_state = self.start_state
        head_position = 0

        while True:
            if current_state in self.accepting_states:
                return True
            elif current_state not in self.states:
                return False

            symbol = tape[head_position]
            if symbol not in self.alphabet:
                return False

            new_state, new_symbol, direction = self.transition_function[current_state][symbol]

            tape[head_position] = new_symbol
            if direction == 'R':
                head_position += 1
                if head_position == len(tape):
                    tape.append('_')
            elif direction == 'L':
                head_position -= 1
                if head_position < 0:
                    tape.insert(0, '_')

            current_state = new_state

通过对比上述两个示例，可以看出纸带图灵机和确定有限自动机之间的等价关系。纸带图灵机使用纸带来存储输入，并且可以根据状态和当前读取的符号进行状态转移。确定有限自动机则使用状态和当前读取的符号进行状态转移，不需要纸带。因此，可以认为固定大小的纸带图灵机等价于确定有限自动机。

请注意，以上示例仅为演示目的，并不涵盖所有可能的情况。在实际应用中，可能需要根据具体需求进行更复杂的实现。