20/07/19 TL

오늘 할 일

계산이론 과제

이산수학 복습

바텀업 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, λ)}