Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 3 / 4I / a / Solution

A DFA consists of finite $Q$, alphabet $\Sigma$, transition $\delta$, initial $q_0$, and accepting set $F$. Extend by $\hat{\delta }(q,ϵ)=q$ and $\hat{\delta }(q,wa)=\delta (\hat{\delta }(q,w),a)$. It accepts $\{w:\hat{\delta }(q_0,w)\in F\}$; a language is regular if some DFA accepts it.

Solved by gpt-5.6-sol high.