검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- '''임계 쌍'''(critical pair)은 [[수리 논리학]]의 용어이다. 이는 [[항 재작성 시스템]] 상에서 [[재작성]] 규칙을 중복 적용하여 두 개 이상의 서로 다른 항의 생성을 뜻한다. 가령, 아래의 규칙들로 항 재작성 시스템을 정의해본다면 ...587 바이트 (30 단어) - 2024년 5월 7일 (화) 10:15
문서 내용 일치
- '''임계 쌍'''(critical pair)은 [[수리 논리학]]의 용어이다. 이는 [[항 재작성 시스템]] 상에서 [[재작성]] 규칙을 중복 적용하여 두 개 이상의 서로 다른 항의 생성을 뜻한다. 가령, 아래의 규칙들로 항 재작성 시스템을 정의해본다면 ...587 바이트 (30 단어) - 2024년 5월 7일 (화) 10:15
- ...''재작성'''은 다양한 부분을 다루고 있다. (특별히 비결정적인 부분에서 중요하다) 이는 부분식을 다른 항으로 교체하여 이루어진다. 재작성 시스템에서 다루는 것은 물체들의 집합과 그들 간의 관계 및 변환이다. ...라 여러 규칙을 묶어 제공한다. 적절한 알고리즘을 구성하는 규칙들의 집합은 컴퓨터 프로그램 그 자체 혹은 몇몇 [[항 (논리)|항]] 재작성(term-rewriting) 기반 선언 프로그래밍 언어로 간주되기도 한다. ...3 KB (117 단어) - 2024년 6월 3일 (월) 13:19
- 기본 열역학 관계의 재작성, 여기서 ''μ <sub>i</sub>''는 시스템의 ''i'' 번째 성분 에 대한 [[화학 퍼텐셜]]이다. 그들은 온도와 압력(또는 다른 시스템 변수)이 시간이 지남에 따라 일정하게 유지될지 여부를 "알" 수 없다. ...10 KB (330 단어) - 2024년 6월 2일 (일) 13:58
- 이 기법은 단지 시스템 행동의 랜덤한 샘플만을 제공하며, 많은 경우에 정확히 동작하는 것보다는 소프트웨어가 [[충돌 (컴퓨팅)|충돌]] 없이 예외 처리를 할 신뢰도의 중대한 측정으로서, 퍼징은 ([[코드 감사]], [[정적 코드 분석]] 또는 부분적 [[재작성]]의 형태로) 프로그램의 어떤 부분이 특별한 관심을 받아야 하는지를 제안할 수 있다. ...16 KB (751 단어) - 2025년 3월 14일 (금) 02:44
- ...을 표준형(normal form)이라 하며, 모든 도출은 대응하는 표준형을 가짐이 여러 방법으로 증명되어 있다. 이는 [[추상 재작성 시스템]] 연구와 연관된다. ...15 KB (713 단어) - 2023년 5월 11일 (목) 07:22