0911강의03 - kyagrd/PL2018Fall GitHub Wiki

• https://github.com/kyagrd/courseREhs

TupleListSetFunction 노트북으로 순서쌍, 리스트, 함수, 집합에 대한 내용을 하스켈로 다루는 방법에 대해 알아보았다.

RegExGen 노트북으로 정규식의 의미함수 즉 정규식이 표현하는 언어(문자열의 집합)를 정의해 보았다. 하스켈 프로그램으로 이것을 옮길 수는 있지만 이것으로 정규식 검사기를 만들어 쓰기에는 비효율적이다.

RE2NFA 노트북은 정규식을 비결정적 유한 오토마타(NFA)로 변환해 정규식을 검사하는 내용이다. 오늘은 NFA가 무엇인지 잠깐 소개하는 정도까지만 했고 다음 수업에서 이어서 설명할 것이다.