문자 집합Σ는 {a,b}이고
Σ*에 속하는 문자열 ω과 두 언어 La, Lb에 대해
ω{a⟼La, b⟼Lb}를 다음과 같이 귀납적으로 정의한다
(하략)
이렇게 나와있는데 나 형식언어 과목 공부하면서 저런 화살표 기호는 본 적이 없음..
고민판에 올렸다가 누가 컴판에 올려보래서 여기로 왔음
문자 집합Σ는 {a,b}이고
Σ*에 속하는 문자열 ω과 두 언어 La, Lb에 대해
ω{a⟼La, b⟼Lb}를 다음과 같이 귀납적으로 정의한다
(하략)
이렇게 나와있는데 나 형식언어 과목 공부하면서 저런 화살표 기호는 본 적이 없음..
고민판에 올렸다가 누가 컴판에 올려보래서 여기로 왔음
뱀고기
대응관계 표시
낙지는나치를낚지
구체적으로는? La는 a로만 구성되어있다던가
a는 La에 반드시 출현한다던가
유상의행복은있어요
수학에서는 f(a) = b 를
f: a ⟼ b 로 표기하기도 하는데
비슷하지 않을까