내가 집합론 이해가 딸려서,
식을 잘못 세워가지고,
버그가 생긴 줄 알았는데,
다른 데서 생긴 거였음.
물론 집합론 이해가 딸리는 건 사실임.
이 글 쓰는 것도 쪽팔리긴 한데,
질문 글을 쓸 당시에는,
식을 바꿔서 버그를 고친 줄 알았음.
그런데 또 안 돌아가는 거임;;
그래서 다른 게 문제라고 생각해서 글삭함.
함수 delta : Q × Sigma → Q을 확장하여 얻은
함수 delta* : Q × Sigma* → Q를 보존하는
(Sigma*는 Sigma의 kleene star 폐포임.)
Q 위의 동치 관계 ~를 구해서,
Q' := { min q' | q' in Q/~ }을 얻고,
delta' : Q' × Sigma → Q'를 얻어내야 하는데,
~를 잘못 구한 줄 알았더니,
delta'를 잘못 구한 거였음.
지금은 잘 돌아감 ㅇㅅㅇ
그런데 delta*는 UMP할 때 나오는 거 맞지?
집합 Q^Q는 합성 연산에 대하여 모노이드를 이루고,
다음을 만족하니까.
delta* u = u, u는 항등원,
delta* (x • y) = delta*(x) • delta*(y), •는 이항 연산.

- dc official App