이우석
가입: 2007년 9월 26일 올린 글: 72
|
올려짐: 2010년5월19일 17:57 주제: |
|
|
프로젝트 설명에서의 next 함수는 가 맞습니다.
next함수는 모듬의미(collecting semnatics)를 정의하는데 쓰이는 Next 함수를 정의하는데 사용되는 함수이기는 하지만, 그 자체로 모듬의미를 구해주는 함수가 아닙니다.
next 함수는 프로그램의 실제 실행의미를 정의하는데 쓰이는 함수입니다. read의 결과는 실제 실행의미에서는 임의의 정수 한개입니다. 그런데 모듬의미는 가능한 모든 실행가능한 경우를 포함해야 하기 때문에 read의 결과를 모든 임의의 정수로 정의하는 것입니다.
그래서 next의 타입은 프로젝트 문서에 정의된 대로가 맞습니다. 타입 상으로도 그런 것이, 인데, 의 결과로 나오는 타입이 이고, next s 는 이의 원소이므로 State 입니다. |
|