[jaewooklee]

regular expression 문제를 풀 때 수업시간에 언급했었던 미분 연산같은것을 구현하지 않고 그냥 단순하게 코드를 작성하면, 특정한 입력에 대해서는 속도가 매우 느려질 가능성이 있을 것 같은데요. 챌린지 3을 풀때 알고리즘 속도도 고려하면서 풀어야 하나요?

그리고 만약 미분을 구현한다면 regular expression에 추가적으로 empty set이나 empty string에 해당하는 타입도 있으면 편리하지 않을까 추측되는데요. 타입을 추가하는 것도 허용되나요?

그리고 hw7을 제출하고 싶은데 아직 제출칸이 열리지 않은 것 같습니다.

[김윤승]

hw7 제출칸은 열었습니다.

챌린지의 속도에 대해선 곧 공지하겠습니다.

완전히 새로운 타입을 모듈 안에 구현한다는 말씀이신가요? 그것은 허용하겠습니다.

[jaewooklee]

예 감사합니다.

그런데 제가 두번째 질문에서 정확한 표현을 사용하지 않은 것 같네요.

주어진 type에 새로운 constructor를 추가하여도 되는지에 대한 질문이었습니다.

예를들어, 지금은

type c =
| Zero
| One
| Two
...


으로 정의되어 있는데요. 이것을

type c =
| Emptyset
| Epsilon
| Zero
| One
| Two
...

과 같은 모양으로 바꾸어도 되나요?

[김윤승]

그것은 허용되지 않습니다.

새로운 타입을 만들고, 실행 후에 주어진 타입으로 변환한다던지 여러 방법이 있을 수 있겠죠.