정보 과학

형식 언어, 알파벳, 문자열이란 무엇인가. 형식 언어 이론의 기본 개념을 일상 언어와 비교하며 예와 함께 설명한다.

상태와 전이로 이루어진 계산 모델인 유한 오토마타. 정의, 상태 전이도, 계산의 형식화와 수락하는 문자열의 예.

시작 상태에서 갈 수 없는 유한 오토마타의 도달 불가능한 상태. 정의와 이런 상태를 오토마타에서 안전하게 제거하는 방법.

정규 언어는 합집합, 교집합, 연접, 클레이니 폐포에 대해 닫혀 있다. 연산에 대해 닫혀 있다는 것의 뜻과 정규 언어에서 이것이 성립하는 이유.

정규 표현식이란 무엇이고 문자열의 집합을 어떻게 나타내는가. 정의, 산술식과의 비교, 유한 오토마타와의 관계.

Linear Counting: 큰 데이터에서 서로 다른 값의 개수를 추정하는 방법. 해시 함수, 비트맵, 그리고 단순한 방법으로는 부족한 이유.

블룸 필터는 원소가 집합에 들어 있는지 빠르게 답하는 확률적 자료 구조이다. 원리, 해시 함수, 실제 활용.

가장 오래된 암호 방식 가운데 하나인 카이사르 암호의 원리. 글자를 밀어 쓰는 방법, 암호의 일반화와 온라인 암호화 도구.

여러 개의 알파벳을 쓰기 때문에 빈도 분석에 강한 비즈네르 암호. 암호화의 원리, 비즈네르 표, 키를 고르는 방법과 온라인 도구.

« 이전: 기저변환행렬

다음: 형식 언어 »