오토마타 이론 쉽게 이해하기: DFA NFA와 형식 문법 기준
DFA·NFA의 상태 집합과 전이를 읽고 문자열을 직접 추적합니다. 빈 문자열·정규 언어·정규 문법을 연결해 알고리즘 수학 노트를 완성합니다.
이 포스팅은 쿠팡 파트너스 활동의 일환으로, 이에 따른 일정액의 수수료를 제공받습니다.
웹사이트 제작·운영과 개인 서비스, 자동화·AI 도구를 만들며 배운 내용과 문제 해결 과정을 정리합니다.
DFA·NFA의 상태 집합과 전이를 읽고 문자열을 직접 추적합니다. 빈 문자열·정규 언어·정규 문법을 연결해 알고리즘 수학 노트를 완성합니다.
유클리드 호제법과 합동식·역원의 의미를 배웁니다. 작은 RSA 손계산으로 정수론의 연결을 확인하고 실제 암호 구현과 구분합니다.
순서와 중복 허용 여부로 순열·조합을 구분합니다. 작은 경우를 나열하고 공식의 적용 조건과 기능 선택·우선순위 예제를 계산합니다.
전세 계약 뒤 헷갈리기 쉬운 확정일자와 전입신고의 차이를 계약일, 잔금일, 입주일 순서로 정리했습니다. 무엇을 언제 해야 하는지 실제 계약 흐름 중심으로 확인할 수 있습니다.
오일러·해밀턴·최단 경로의 목표를 비교합니다. 차수 판정과 평면 그래프의 오일러 공식, 다익스트라의 적용 조건을 손풀이로 확인합니다.
정점·간선·차수·보행·경로·사이클을 구분합니다. 같은 그래프를 인접 행렬과 리스트로 표현하고 연결성과 트리 반례를 확인합니다.
드모르간과 흡수법칙을 전체 진리표로 확인합니다. 잘못된 변형의 반례와 Boolean 논리·JavaScript 실행 의미의 경계를 다룹니다.
대응표로 정의역·공역·치역과 단사·전사를 구분합니다. 공역 변경과 합성 순서가 함수의 성질과 결과에 주는 차이를 확인합니다.
곱집합에서 관계를 고르고 반사·대칭·추이를 각각 검사합니다. 같은 홀짝 관계의 동치류와 성질이 깨지는 반례를 확인합니다.
폴더 A·B·C 예제로 트리와 순회를 배웁니다. 전위와 층별 방문을 손으로 따라간 뒤 이진 트리·BST·MST의 목적을 구분합니다.
같은 전체집합으로 합집합·교집합·차집합·여집합을 계산합니다. 원소와 부분집합, 공집합과 멱집합을 직접 나열해 구분합니다.
직접·대우·모순 증명을 작은 정수 예제로 비교합니다. 합 공식을 귀납법으로 전개하며 일부 검산과 모든 경우의 증명을 구분합니다.
무엇을 도와드릴까요?
이 글과 함께 공부하기
읽다가 막힌 부분을 물어보세요. 이 글을 바탕으로 설명하고, 이어서 읽을 본문을 연결합니다.