점화식:
점화관계:
알고리즘:
오토마타: 디지털 컴퓨터의 추상적 모델, 입력자료를 읽는 입력장치, 출력장치, 임시기억장치, 제어장치로 구성됨
결정적 오토마타: 하나의 입력을 받았을 때 다음 상태가 유일
비결정적 오토마타: 하나의 입력을 받았을 때 다음 상태가 2개이상
유한오토마타: 형식 언어를 인식하는 시스템의 수학적 모델
형식언어: 기계와 사람이 의사소통을 하기 위한 언어, 자연언어의 반대
참고: 이산수학:tool중심으로 이해하는 새로운 시각,
참고: https://namu.wiki/w/%EC%98%A4%ED%86%A0%EB%A7%88%ED%83%80