mona 라는거 쓸줄 아는사람?

ㄴㅇㄹ(93.134) 2011.10.20 04:34:49

조회 36 추천 0 댓글 0

부전공으로 컴공 듣는데 이번학기 오토마타 이론임. mona 라는 툴을 쓴다고 하는데 이거 혹시 사용할줄 아는 성님 계심요?

decision procedures for the Weak Second-order Theory of One or Two successors

라고 하는데 초보자라 successor 가 뭔지 모르겠엉.

고정닉 0

전체 댓글 0개

등록순 최신순 답글순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	모태 솔로도 구제해 줄 것 같은 연애 고수 스타는?	운영자	25/07/21	-	-
AD	곧 휴가!! 홈캉스, 바캉스 SALE	운영자	25/07/21	-	-
282520	근데 헬로월드의 유래가 어디야? [5]	,.,(183.100)	11.10.20	109	0
282519	아악 실수로 큡큡하면서 광고를 클릭하다니!! [1]	거칠게	11.10.20	52	0
282517	아 큡큡 이거 뜨겠는데? [1]	534F444D61737465	11.10.20	66	0
282516	MFC 소켓프로그래밍(receive관련) 질문 [3]	shimsw(210.125)	11.10.20	58	0
282515	[급구]형들. 매틀랩 능력자있어?ㅋ 8만원빵이야! [2]	망했어.(211.246)	11.10.20	97	1
282514	엠시헬로우인가 먼가 그색기 만든 게임 재미있냐? [4]	일광면(119.198)	11.10.20	81	0
282513	아오 시발 큡큡인가 뭔가 하는 어플 뭐냐?? [1]	거칠게	11.10.20	70	0
282512	함수 왜 하는지 알겠다 [4]	1(118.220)	11.10.20	69	0
282511	대학원 나오고 취업해서 처음 하는게 헬로월드 찍는거라고? [4]	나리링	11.10.20	208	0
282509	다림줄 너 임마! [20]	blackd	11.10.20	165	0
282508	회사에서 세미나라는게 원래 이따위냐? [1]	RR(218.54)	11.10.20	72	0
282507	이쯤에서 적절한 성지순례 임신공격 [2]	다림줄	11.10.20	105	0
282506	정치떡밥 집어치우고 [2]	534F444D61737465	11.10.20	50	0
282504	내가 대학수업 들으면서 느낀건데 [8]	가모가모	11.10.20	146	0
282503	근데 이해안대는게 [6]	534F444D61737465	11.10.20	75	0
282501	컴퓨터 가 계속 블루스크린이 뜨는데 해결법좀~~~ㅠㅠㅠ [2]	으악새(121.151)	11.10.20	70	0
282500	리턴이 뭐하는 거냐면 [5]	가모가모	11.10.20	76	0
282499	박원순 자기빚도 못갚는 사람이 어떻게 서울시 빚을 갚음? [14]	1(118.220)	11.10.20	93	0
282498	와 제주도 벌써 도착?	534F444D61737465	11.10.20	39	0
282496	와 시발 님들이 책 써라 존내 이해 잘됨 [1]	1(118.220)	11.10.20	85	0
282495	예전에 아이폰에 테더링 기능 없을 때 [1]	분당살람	11.10.20	55	0
282494	아싸 게임 런칭됐당~~~~~~!! 아이폰 유저 횽들 많이 받아줘 [10]	McHello	11.10.20	190	0
282493	모노형 소환! [5]	얼빠진호랑이	11.10.20	54	0
282492	고수님들아 리턴이 뭘 하는놈인지 이해좀 시켜주셈;.; [10]	1(118.220)	11.10.20	89	0
282490	이 스샷을 보고 잘못된 점을 찾아보자 ... [2]	상어튀김(211.245)	11.10.20	91	0
282489	야 시발 프로그래밍 교육이 존나 잘못되고있지않음? [11]	다림줄	11.10.20	196	0
282488	나경원 억대 피부 클리닉 출입??? [8]	시불라미	11.10.20	122	0
282487	진짜 일생일대의 부탁입니다.. 부탁드려요..ㅠ [12]	플밍갤형님들(210.93)	11.10.20	92	0
282486	횽들 if(name==Tim) 이거 잘못된거야? [5]	자봐(108.35)	11.10.20	67	0
282485	횽들 자바는 필수인가요 [9]	Nano-(125.140)	11.10.20	118	0
282484	객체지향 떡밥 [15]	534F444D61737465	11.10.20	140	0
282482	입갤 [1]	Nano-(125.140)	11.10.20	29	0
282481	소셜 커머스 [5]	분당살람	11.10.20	53	0
282480	C++ 객체지향으로 1942류의 게임을 만들어볼 생각이야. [29]	Sir.Lancelot	11.10.20	254	0
282479	신발 자바 개객끼 ㅠㅠ [10]	자바개객끼(125.129)	11.10.20	128	0
282478	형들 스왑함수 질문이요. [4]	--(175.116)	11.10.20	47	0
282476	다들 점심은 맛있게 먹었어? [4]	blackd	11.10.20	69	0
282475	오키다 안리 검색해보니 k컵이네 [1]	다림줄	11.10.20	102	0
282474	나 구조체(struct) 들어가 [3]	다림줄	11.10.20	62	0
282473	MATLAB하는횽아들간단한거질문하나만 ㅜ ㅜ	맷랩 ㅗ(165.124)	11.10.20	36	0
282470	우와 소개팅잡혔어 [7]	!@＃ㅇㅇ	11.10.20	85	0
282469	횽들 분할 컴파일할때 해더파일 인클루드 하는거 질문좀 [4]	하루네코(59.25)	11.10.20	52	0
282466	점심시간 쫌 눈좀 붙여야겠다.	다림줄	11.10.20	30	0
282465	안드로이드 어플에서 sqlite로 db를 만들었는데 [2]	ㅊㅂ(175.205)	11.10.20	64	0
282463	요즘 AV배우 젖통령 누구임? [3]	다림줄	11.10.20	378	0
282462	형들 내가 자바 처음 공부해서 그런데 이게 왜 틀린거야?(매우짧음) [3]	자봐(108.35)	11.10.20	68	0
282461	프겔 잣뉴비들아 [1]	ㄹㄷㅈㅍㅁ(121.169)	11.10.20	41	0
282460	공동 창업자(?)일단1명구함 ㅋㅋ(게임개발) [5]	forhappiness	11.10.20	164	0
282458	이것봐... [5]	어떡해	11.10.20	78	0
282457	입사 두달만에 담주 퇴직 [5]	이메지네이션(116.124)	11.10.20	136	0
뉴스	추성훈 아조씨도 여행지서 일당 벌어 '밥값은 해야지'	디시트렌드	07.23