observe_db

5/12 5/18 인식기(Recognizer): 입력으로 string을 받아 그 언어의 문장이면 "YES", 아니면 "NO"를 출력하는 프로그램 튜링머신(type0)-A에 선형 종속(type1)-푸시다운 오토마타(type2)-유한 오토마타(type3) 유한 오토마타(Finite Automata. FA) 알파벳Σ에 대한 유한 오토마타 M = (Q,Σ, δ, q0, F) Q: state의 유한 집합 Σ: 입력 알파벳의 유한 집합 δ: 사상함수 q0 ∈Q: 시작 상태 F ⊆Q: 종결 상태의 집합 사상함수 δ: Q * Σ-> 2^Q ex) δ(q, a) = {p1, p2...pn} 결정적 유한 오토마타(DFA) 결정적이다 - δ(q, a)가 한상태 만을 갖는 경우 - δ(q, a) = {p} 대신에 "δ(q, ..