[%] 람다 이야기 연재 끝난 다음에는 뭐를 연재할까요?

[기괴공학도(mecheng98)]

9/29에 4장

10/6에 5장

10/13에 6, 7장

이렇게 연재할 생각이고요 11/10부터 새 연재하고 싶어요.

현재 생각 중인건 하스켈 일기, 형식언어와 오토마타 또는 타입이론입니다.

다음 연재의 주제에 여러분의 의견을 반영하겠습니다.

[0xrgb(0xrgb)]

오토마타와 정규표현식 하고 서로 어떻게 변환되는지 보여주고, NFA DFA 변환 보여주고, 아주 간단한 정규 표현식 라이브러리 하나 짜고, 10진수로 7의 배수를 감지하는 정규표현식 작성해보고

[0xrgb(0xrgb)]

Pushdown Automata 보여주고 이게 왜 Finite State 오토마타보다 강한지 설명하고(e.g. 0{n}1{n}이 FSM으로 불가능함을 증명) 2스택이 튜링머신이랑 동등함을 보이고 끝내면 될듯

[기괴공학도(mecheng98)]

ㄴ 저도 형식언어와 오토마타 이야기가 제일 끌리는데 일단 1표 받았네요.

[기괴공학도(mecheng98)]

갤주님 연재 내용은 감사한데 Linz의 An Introduction to Formal Language and Automata로 연재할 거라서.... 조언은 감사합니다.

[Recursion(recursion)]

오토마타 개추 ㅇㅇ 푸시다운 오토마타 한번 설명해주면 좋을듯 - dc App

[기괴공학도(223.39)]

그럼 형식언어와 오토마타로 할게요

[익명(122.36)]

기대된다

[기괴공학도(223.62)]

ㄴ감사합니다 열심히 연재하겠습니다

[fds(14.35)]

오토마타 형식언어는 학부에서 대부분 다루는거라 그 이상으로 파고들어갈거 아니면 굳이 연재를 할 필요는 없을거같은데

[기괴공학도(mecheng98)]

ㄴ 사실 제 목표가 저만의 언어를 C 언어로 바꿔주는 프로그램 만드는 거에요

[기괴공학도(mecheng98)]

ㄴㄴ 그리고 최대한 깊게 들어가 보겠습니다.

[그러면(121.190)]

간단한 인터프리터 만들어보기 연재하는건 어때

[기괴공학도(203.226)]

사실 뭐 가르치는 게 생각보다 재밌고 그러면서 공부도 더 하고 그런 좋은 점이 있어서 이론도 연재할려고요