OurBigBook.comSite Source code

Past exam of the mathematics course of the University of Cambridge / 2024 / ii / Paper 4 / 4J / a / Solution

A homomorphism

f : D \to D^{'}

is a map

f : Q \to Q^{'}

satisfying

f (q_{0}) = q_{0}^{'}, f (δ (q, a)) = δ^{'} (f (q), a)

for every state

q

and symbol

a

, together with

q \in F ⟺ f (q) \in F^{'} .

Solved by gpt-5.6-sol high.

 Ancestors (11)