Deterministic finite automatonminimal dfa do not inclde node (and out-transitio of that) which has no in-transition, ans sink state also각각의 입력 문자열 안의 각 심볼에 대하여 유일한 상태변화를 취하는 유한 상태 기계