오늘 할 일
계산이론 과제
이산수학 복습
바텀업 ui 짜기
리액트 섹션1 끝내기
코세라 강의
자전거 데이터 모델 분석
내일 할 일
코세라 강의
이산수학 강의
계산이론 강의
계산이론 기출 풀기
이산수학 복습
리액트 섹션2
계산이론 과제 끝내기
-----------------------------------------------------------------------------------------
Chomsky 정규형
A -> BC 또는 A -> a를 만족.
A, B, C ∈ V 이고, a ∈ T
Greibach 정규형
A -> ax
a ∈ T, x ∈ V*
npda(비결정적 푸시다운 오토마타)
δ(q1,a,b) = δ(q2, cd, (q3, λ))
q1 : 상태
a : 입력
b : 스택 탑
q2 상태로 들어가서 cd가 문자열 cd가 b를 교체하거나
q3로 들어가 탑에서 b가 삭제됨.
그래프 그릴 때
a, 0; 0000
a : 입력값
0 : 스택 값
0000 : 교체할 스택 값
S -> aSA | a
A -> bB
B -> b
δ(q0, λ, z) = {(q1, Sz)}
δ(q1, a, S) = {(q1, SA), (q1, λ)}
δ(q1, b, A) = {(q1, B)}
δ(q1, b, B) = {(q1, λ)}