OurBigBook.comSite Source code

Past exam of the mathematics course of the University of Cambridge / 2025 / ii / Paper 3 / 4F / b / Solution

Use the same program as

N

, replacing only its first line by a test for a final

1

:

q_{S} q_{0} q_{1} q_{2} q_{3} q_{H} \mapsto ?_{1} (0, q_{3}, q_{0}) \mapsto - (0, q_{2}, q_{0}) \mapsto +_{1} (0, q_{H}) \mapsto +_{0} (0, q_{H}) \mapsto - (0, q_{1}, q_{3}) \mapsto ?_{ε} (0, q_{H}, q_{H}) .

If the input ends in

1

, the

q_{3}

loop erases it and eventually appends output

1

. Every other input, including the empty word, follows the

q_{0}

loop and produces

0

. This is the characteristic function of

{w 1 : w \in B}

.

Solved by gpt-5.6-sol high.

 Ancestors (11)