게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

project1: next의 타입

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김성준



가입: 2009년 9월 10일
올린 글: 30

올리기올려짐: 2010년5월19일 16:05    주제: project1: next의 타입 인용과 함께 답변

프로젝트 설명에서는 next의 타입이 State -> State로 되어 있습니다.
그러나 이번 프로젝트에서 사용되는 언어에는 read가 있기 때문에 read의 결과에 따라 실행의 결과가 서로 다른 두 지점 중 하나이거나 메모리의 상태가 다양할 수 있습니다.
따라서 next의 타입은 가 아닌가요?
위로
사용자 정보 보기 비밀 메시지 보내기
이우석



가입: 2007년 9월 26일
올린 글: 72

올리기올려짐: 2010년5월19일 17:57    주제: 인용과 함께 답변

프로젝트 설명에서의 next 함수는 가 맞습니다.

next함수는 모듬의미(collecting semnatics)를 정의하는데 쓰이는 Next 함수를 정의하는데 사용되는 함수이기는 하지만, 그 자체로 모듬의미를 구해주는 함수가 아닙니다.

next 함수는 프로그램의 실제 실행의미를 정의하는데 쓰이는 함수입니다. read의 결과는 실제 실행의미에서는 임의의 정수 한개입니다. 그런데 모듬의미는 가능한 모든 실행가능한 경우를 포함해야 하기 때문에 read의 결과를 모든 임의의 정수로 정의하는 것입니다.

그래서 next의 타입은 프로젝트 문서에 정의된 대로가 맞습니다. 타입 상으로도 그런 것이, 인데, 의 결과로 나오는 타입이 이고, next s 는 이의 원소이므로 State 입니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2010) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay