[형식 언어] 아까 질문했던 사람인데 이렇게 하면 되려나?

[익명(114.203)]

문제: { ωω | ω ∈ {a, b}* }, 즉 왼쪽 절반과 오른쪽 절반이 같은 스트링의 집합을 생성하는 context-sensitive 문법은 무엇인가?

내 답:

P:

S -> aCS

   | bDS

   | aA

   | bB

Ca -> aC

Cb -> bC

Da -> aD

Db -> bD

CA -> AA

CB -> AB

DA -> BA

DB -> BB

A -> a

B -> b