Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/ii/paper-4/4j/a/solution

A homomorphism is a map satisfying
for every state and symbol , together with

New to topics? Read the docs here!