본문 바로가기

전체 글

 (122)
Lec-OCaml. Functional Programming in OCaml (4주차 2강, 5주차 1/2강) 9월 25일 4주차 2강 + 9월 30일 5주차 1강 + 10월 2일 5주차 2강 * 본 글은 개인 공부용으로 정리한 것 입니다. 정확한 내용은 본인이 공부하는 자료를 참고하시길 바랍니다!! OCaml이 진짜 문대...그게문데문대...나는 high level만 먹는다고... 1. Introduction1.1. Functional Programming?함수: first-class변수에 저장된다다른 함수의 인자로 전달될 수 있다다른 함수의 반환값으로 사용할 수 있다expression-oriented: 계산 과정이 값을 변형하지 않고 표현식으로 기술된다...(아래 참고)imperative version: 명령형 방식, int factorial(int n)에서 r을 계속 갱신하면서 계산functional ver..
Lec04. Lexical Analysis (3) (2주차 2강, 4주차 1강/2강) 수업: 9월 11일 2주차 2강 + 9월 23일 4주차 1강 + 9월 25일 4주차 2강 (3주차 1강, 2강은 추석으로 휴강)* 본 자료는 제 개인 공부용으로 정리한 것입니다. 정확한 자료는 꼭 본인이 공부하는 교재를 참고하시길 바랍니다. 9월 11일 2주차 2강1. Construction of DFAMethodology: lexical specification을 동일한 string recognizer로 변환한다Regular Expression, 정규 표현식: 특정 패턴의 문자열을 정의Lexical Specification: 특정 언어에서 허용되는 문자 패턴을 정의String Recognizer: 입력된 문자열이 주어진 규칙(RE)과 일치하는지 판별DFA: state와 transition을 사용해 문자..
Lec03. Lexical Analysis(2) (2주차 1강) 2주차 1강 - 9월 9일 월요일, Lexical Analysis 1. String Recognition using Finite AutomataFinite Automata정의: yes or no를 return하는 string recognizer이 string에 accept 가능한가? 아닌가?를 판별한다.종류Non-deterministic Finite Automata(NFA)Deterministic Finite Automata(DFA) 2. Possibility of Correct String Recognition문자열 s, 패턴 R문자열 s가 어떤 Finite Automata에 속하는지 확인하고 싶다.즉, s가 L(R)에 존재하는지 확인하고자 한다.패턴 R을 인식하는 Finite Automata를 찾고,..

티스토리툴바