모든 공개 기록

noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

• 2023년 3월 21일 (화) 03:34 Ahn9807 토론 기여님이 Bubble sort 문서를 만들었습니다 (새 문서: 분류: 정렬 == 개요 == 인접하는 두 항을 비교해서 뒷 항이 앞 항보다 작으면 두 항을 교환하는 과정을 반복한다. 쉽게 생각하면, 우선 제일 큰거 맨 위로 올리고, 그다음 큰거 맨 위로 올리를 모든 항이 정렬될 때까지 반복하는 것이다. == 예제 == 오름차순으로 정렬하는 거품정렬의 과정은 다음과 같다. <span style="color:#0000FF">'''55 07'''</span> 78 12 42 초기값[파란색...)
• 2023년 3월 21일 (화) 03:33 Ahn9807 토론 기여님이 Insertion sort 문서를 만들었습니다 (새 문서: 분류: 정렬 프레임없음|가운데 == 개요 == 부분 데이터 <math>a_i ~ a_n </math> 이 주어진 경우 그중에서 최소항을 찾아서 그 값과 <math>a_i</math> 와 교화하는 과정을 처음 부터 끝가지 시행하는 방식을 직접 선택법이라 한다. == 알고리즘 == i 가 0~n-1 인 상황에서, # 대상 항 i 를 0 부터 n-2 까지 옮기며 다음을 반복한다. # 대상 항을 최소값의 초기값...)
• 2023년 3월 21일 (화) 03:33 Ahn9807 토론 기여님이 Shaker sort 문서를 만들었습니다 (새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 버블 소트 에서 부분 데이터가 오름차순으로 정렬되어 있어도 무조건 비교를 반복함으로 효율이 떨어진다. 따라서 데이터의 원쪽부터 검사를 시작해서 마지막으로 교환한 것이 i 와 i + 1 의 위치라면 i + 1 ~ n - 1 까지는 데이터가 정렬되어 있는 것임으로 다음부터는 검사하지 않아도 된다. 따라서 마지...)
• 2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 Selection sort 문서를 만들었습니다 (새 문서: 분류: 정렬 섬네일|가운데 == 개요 == 선택 정렬은 현재 소팅되어 있다 가정된 배열 에서 최소의 값을 집어 넣어서 정렬하는 방식이다. 좀더 풀어서 말하자면, 가장 작은 수를 select 한 다음 현재 배열에 넣는 작업이라고 생각하면 된다. 어찌보면, 인간이 사용하는 정렬 방식과도 닮았다. 우선 제일 작거나 큰거를 선택해서 그것을 먼저 정렬하...)
• 2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 Merge sort 문서를 만들었습니다 (새 문서: 분류:정렬 섬네일|가운데 == 개요 == 폰 노인만에 의해서 개발된 Merge Sort 는 안정적으로 nlogn 만에 배열을 정렬할 수 있도록 해준다. 기본 원리는 배열을 일단 최소 단위까지 쪼갠후 최소 단위부터 조금씩 맏추면서 올라가는 방식이다. 분할 정복 알고리즘의 좋은 예시이다. 성능은 퀵 정렬보다 전반적으로 뒤떨어지고, 데이터 크기만한 메...)
• 2023년 3월 21일 (화) 03:32 Ahn9807 토론 기여님이 정렬 문서를 만들었습니다 (새 문서: 분류: 정렬 == 개요 == 정렬 (sort)는 데이터를 특정 규칙에 따라 재배열하는 것을 말한다. 1, 5, 11 처럼 작은 수부터 나열한 것을 오름차순, 반대를 내림 차순이라 한다. 정렬에 필요한 시간은 주로 비교 횟수와 교환 횟수에 의해 정해진다. 이 횟수는 수열 데이터가 어떻게 나열되어 있는지와 기기에 따라 다르다. 그러나 이 횟수는 방식에 따라서 엄청난 차이가 존...)
• 2023년 3월 21일 (화) 03:31 Ahn9807 토론 기여님이 암호화 해시 함수 문서를 만들었습니다 (새 문서: 분류: 네트워크 보안 분류: 탐색 == 암호화 해시 함수 == 암호화 해시 함수는 해시 함수에 의해 보호되는 어떤 메시지를 대신할 다른 메시지를 찾아내는 일이 실행 불가능한 정도의 계산을 요구해야 한다. == 종류 == MD5<br> SHA-1<br>)
• 2023년 3월 21일 (화) 03:31 Ahn9807 토론 기여님이 해시 함수 문서를 만들었습니다 (새 문서: 분류: 네트워크 보안 분류: 탐색 == 개요 == '''해시 함수'''는 임의의 길이를 갖는 임의의 데이터에 대해 고정된 길이의 데이터로 매핑하는 함수를 말한다. 이러한 해시 함수를 적용하여 나온 고정된 길이의 값을 해시값이라고 한다. 이 값은 또한 해시 코드, 해시섬(sum), 체크섬[* 의미는 살짝 다르지만 해시가 체크섬과 동일한 목적으로 사용되는 경우도 많기는...)
• 2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 Binary search 문서를 만들었습니다 (새 문서: 분류: 탐색 ==개요 == 이진 검색 알고리즘(binary search algorithm)은 오름차순으로 정렬된 리스트에서 특정한 값의 위치를 찾는 알고리즘이다. 처음 중간의 값을 임의의 값으로 선택하여, 그 값과 찾고자 하는 값의 크고 작음을 비교하는 방식을 채택하고 있다. 처음 선택한 중앙값이 만약 찾는 값보다 크면 그 값은 새로운 최댓값이 되며, 작으면 그 값은 새로운 최솟값...)
• 2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 탐색 문서를 만들었습니다 (새 문서: 분류: 알고리즘 ==개요== 탐색이란 대량의 데이터로부터 필요한 데이터를 찾아내는 작업을 말한다, == 축차 탐색 == 데이터를 하나하나 차례로 비교하여 검사하는 탐색법이다. 축차 탐색 == 이분 탐색 == 미리 정렬되어 있는 테이블에서 목적 데이터를 탐색하는 경우에 유효한 방법이다. 이분 탐색 == 해시법 == 해시 테이블을 이용한 방식이다. 해시의 키가...)
• 2023년 3월 21일 (화) 03:30 Ahn9807 토론 기여님이 Recursive 문서를 만들었습니다 (재귀 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 3월 21일 (화) 03:28 Ahn9807 토론 기여님이 재귀 문서를 만들었습니다 (새 문서: 분류:알고리즘 == 개요 == 재귀적 구조란 자기자신을 정의할 때 자신보다 1차 낮은 부분집합을 사용하고, 또한 그 부분집합은 그보다 차수가 낮은 부분집합을 사용해서 정의하는 과정을 반복하는 구조다. 이러한 구조를 일반적으로 재귀라한다. 재귀를 사용하면 복잡한 알고리즘을 명료하게 기술할 수 있기 때문에 현대 프로그래밍 기법에서 중요한 제어구조의...)
• 2023년 3월 21일 (화) 03:28 Ahn9807 토론 기여님이 분류:정렬 문서를 만들었습니다 (새 문서: 분류: 알고리즘)
• 2023년 3월 21일 (화) 03:27 Ahn9807 토론 기여님이 Quick sort 문서를 만들었습니다 (새 문서: 분류:정렬 섬네일|가운데 == 개요 == 퀵 소트란 나열된 수에서 적당한 값(축)을 기준으로 이보다 작거나 같은 값을 왼쪽에, 크거나 같은 값을 오른쪽에 오도록 재배열하는 것이다. 이렇게 만들어진 왼쪽, 오른쪽 부분수열에 대해 같은 과정을 반복하면 퀵정렬이 완성된다. 합병 정렬은 부분수열이 항상 같은 크기로 선정되지만, 퀵 소트는 그...)
• 2023년 3월 21일 (화) 03:27 Ahn9807 토론 기여님이 Stack 문서를 만들었습니다 (스택 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 스택 문서를 만들었습니다 (새 문서: 분류: 자료 구조 == 개요 == '''스택'''은 제한적으로 접근할 수 있는 나열 구조이다. 그 접근 방법은 언제나 목록의 끝에서만 일어난다. 끝먼저내기 목록(Pushdown list)이라고도 한다. 스택은 한 쪽 끝에서만 자료를 넣거나 뺄 수 있는 선형 구조(LIFO - Last In First Out)으로 되어 있다. 자료를 넣는 것을 '밀어넣는다' 하여 '''푸쉬'''(push)라고 하고 반대로 넣어둔 자료를 꺼...)
• 2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 Last in last out 문서를 만들었습니다 (새 문서: 분류: 자료 구조 == 개요 == 후입 선출(後入先出) 또는 LIFO(last in, first out)는 컴퓨터 과학과 대기 이론에서 어떠한 종류의 데이터 구조에 저장되어 있는 항목들이 처리되는 것을 말한다. LIFO 구조화 선형 목록에서, LIFO 요소는 맨 위의 항목만 추가하거나 제거할 수 있다. LIFO 구조는 작은 문을 가진 좁고 둘러싸인 승강기로 예를 들 수 있다. 승강기가 도착지에 다다...)
• 2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 FIFO 문서를 만들었습니다 (First in first out 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 3월 21일 (화) 03:26 Ahn9807 토론 기여님이 First in first out 문서를 만들었습니다 (새 문서: 분류: 자료 구조 == 개요 == 선입 선출(先入先出, first in, first out, 줄여서 FIFO)은 시간과 우선 순위와 관련된 데이터를 정리하고 이용하는 방식을 줄여 말하는 것이다. 이러한 표현은 선입선처리 행위에 따라 순서대로 처리함으로써 기술을 처리하거나 수요 충돌을 관리하는 대기의 원칙을 말한다. 다시 말해, 먼저 온 것은 먼저 처리되고, 처리가 끝날 때까지 다음...) 태그: 시각 편집: 전환됨
• 2023년 3월 20일 (월) 12:34 Ahn9807 토론 기여님이 Popek and Goldberg 조건 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Popek and Goldberg virtualization requirements (conditions)는 가상화가 이루어지기 위한 조건들을 의미한다. 특히 조건 2 - 가상화 정리는 현재에도 좋은 VMM 완변한 VMM을 설명하기 위해서 널리 사용되고 있다. == 조건 1 - 좋은 VMM 작동을 위한 조건 == VMM은 다음과 같은 세가지의 조건을 충족해야 좋은 VM이라고 할 수 있다. * Equivalence / Fidelity: VMM은 같은...)
• 2023년 3월 20일 (월) 10:24 Ahn9807 토론 기여님이 Binary translation 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Binary translation은 GuestOS에서 트랩과 같은 방식으로 처리해야하는 Sensitive instruction들을 효과적으로 처리하기 위해서 GuestOS의 바이너리를 패치하는 방식을 말한다. 정적인 타임에 모두 편환하는 것이 아니라 동적인 타임에 변환함으로서, 변환 효율을 높이는 방식을 사용한다. Trap and emulate만을 사용하는 Classic한 방식보다 더 빠른 성능을 보...)
• 2023년 3월 20일 (월) 10:13 Ahn9807 토론 기여님이 Trap and emulate 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Trap and emulate란 가상화를 위해서 특정 sensitive한 instruction들이 trap을 발생하게 하고 발생한 trap을 바탕으로 VMM에서 Emulate한 결과를 전송하여 하드웨어 가상화를 이루는 방법을 말한다. 그러나 전통적인 x86 아키텍쳐에서는 여러 특별한 문제로 인하여 트랩앤 에뮬리이터를 사용할 수 없다. 이는 Popek and Goldberg 조건을 만족시키지 못...)
• 2023년 3월 16일 (목) 11:58 Ahn9807 토론 기여님이 분류:오픈 소스 프로젝트 문서를 삭제했습니다 (내용: "분류: 전산과학". 유일한 편집자는 "Ahn9807" (토론))
• 2023년 3월 16일 (목) 11:56 Ahn9807 토론 기여님이 분류:오픈 소스 프로젝트 문서를 만들었습니다 (새 문서: 분류: 전산과학)
• 2023년 3월 16일 (목) 11:56 Ahn9807 토론 기여님이 Filesystem in userspace 문서를 만들었습니다 (새 문서: 분류: 파일 시스템 분류: 오픈 소스 프로그램 섬네일|가운데|대체글=FUSE structure overview|FUSE structure overview == 개요 == FUSE는 Non-root유저가 커널 코드의 수정없이 스스로의 파일시스템을 구현할 수 있도록 하는 Extension이다. Application이 Fuse가 마운트된 위치의 Write이나 Read와 같은 File system access 시스템 콜을 날리면, VFS는 Operation에 대한 Query를...)
• 2023년 3월 16일 (목) 11:49 Ahn9807 토론 기여님이 파일:FUSE structure.png 문서를 만들었습니다
• 2023년 3월 16일 (목) 11:49 Ahn9807 토론 기여님이 파일:FUSE structure.png 파일을 올렸습니다
• 2023년 3월 16일 (목) 11:41 Ahn9807 토론 기여님이 Extension Framework for File Systems in User space 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Ashish Bijlani, Umakishore Ramachandran 2019 USENIX Annual Technical Conference == 개요 == ExtFuse는 user file system을 구현하면서, eBPF handler를 커널에 등록시킬 수 있게 하여서, Filesystem의 성능을 개선하였다. == Motivation == FUSE Filesystem in userspace는 User level에서 Filesystem을 제작할 수 있도록 해주는 Linux의 기법이다. Application이 Fuse가 마운트된 위치의 Write이나 Rea...)
• 2023년 3월 16일 (목) 06:26 Ahn9807 토론 기여님이 Model specific register 문서를 만들었습니다 (새 문서: 분류: x86 아키텍쳐 == 개요 == Model specific register (MSR)은 x86 인스트럭션에서 디버깅, 프로그램 실행 조절, 퍼포먼스 모니터링, CPU features의 토글을 위해서 사용되는 Control register의 일종이다. RDMSR혹은 WRMSR을 통해서 상기한 레지스터를 읽을 수 있고, 접근 할 수 있다. 두 인스트럭션은 Priviledge 명령어이다. 리눅스는 msr-tools라는 패키지를 통해서 권한이 있는 사용자가...)
• 2023년 3월 16일 (목) 06:18 Ahn9807 토론 기여님이 PIO 문서를 만들었습니다 (Programmed Input/Output 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 3월 16일 (목) 06:13 Ahn9807 토론 기여님이 Programmed Input/Output 문서를 만들었습니다 (새 문서: 분류: CPU == 개요 == 프로그램 입출력(Programmed Input/Output, 줄여서 PIO)은 네트워크 어댑터나 ATA 기억 장치와 같은 주변 기기와 중앙 처리 장치 사이에서 데이터를 주고받는 방식이다. PIO는 데이터를 CPU의 instruction을 통해서 주고 받는다. 매 데이터 접근 마다 CPU가 관여하기 때문에 CPU의 처리를 불필요한 Polling과 같은 방식으로 낭비하게 된다. 이 PIO의 단점을 극복하...)
• 2023년 3월 16일 (목) 06:03 Ahn9807 토론 기여님이 CPUID 문서를 만들었습니다 (새 문서: 분류: x86 아키텍쳐 == 개요 == CPUID는 x86 아키텍처를 위한 프로세서 기계 명령어이다. 인텔이 펜티엄과 SL 강화 486 프로세서를 내세운 1993년에 도입하였다.<ref>http://www.intel.com/design/processor/manuals/253668.pdf</ref> CPUID opcode를 사용하여 소프트웨어는 프로세서 종류와 MMX, SIMD와 같은 기능들을 결정할 수 있다. CPUID opcode는 0FA2h이며 EAX 레지스터 값은 어떠한 정보를...)
• 2023년 3월 16일 (목) 05:56 Ahn9807 토론 기여님이 Hypercall 문서를 만들었습니다 (새 문서: 분류: 가상화 == 개요 == Hypercall (하이퍼 콜)은 가상머신에서 Guest operating system에서 특정 Host operating system의 기능을 부를때 사용하는 콜기법이다. 하이퍼 콜은 소프트웨어 트랩으로서, Guest operating system이 Hypervisor을 깨워서 특정 로직을 수행하게 만든다. 이러한 기능은 마치 User level, Kernel level domain change를 일으키는 시스템콜과 비슷한 방식으로 작동한다. Page table...) 태그: 시각 편집: 전환됨
• 2023년 3월 16일 (목) 01:47 Ahn9807 토론 기여님이 Virtual machine control data structures 문서를 만들었습니다 (새 문서: 분류: x86 가상화 == 개요 == Virtual machine control data structures (VMCS)는 VMX시에 x86 CPU가 사용하는 구조체이다. 이 구조체는 가상머신이 어떻게 동작할 것인지 세부적인 동작 방법을 저장하고 있다. 이 구조체에 접근하기 위해서는 VMCLEAR, VMPTRLD, VMREAD 그리고 VMWRITE을 통해서 접근하게 된다. Virtual machine monitor는 각각의 가상머신 마다 다르게 설정된 VMCS를 부여함으...)
• 2023년 3월 16일 (목) 01:34 Ahn9807 토론 기여님이 파일:States of VMCS.png 파일을 올렸습니다
• 2023년 3월 16일 (목) 01:34 Ahn9807 토론 기여님이 파일:States of VMCS.png 문서를 만들었습니다
• 2023년 3월 16일 (목) 01:22 Ahn9807 토론 기여님이 Userfaultfd 문서를 만들었습니다 (새 문서: 분류: 리눅스 커널 https://man7.org/linux/man-pages/man2/userfaultfd.2.html == 개요 == userfaultfd()는 페이지 폴트 처리를 사용자 공간 응용에게 위임하는 데 쓸 수 있는 userfaultfd 객체를 새로 생성하고 그 새 객체를 가리키는 파일 디스크립터를 반환한다. ioctl(2)을 이용해 새 userfaultfd 객체를 설정한다. userfaultfd를 설정하고 나면 응용에서 read(2)를 사용해 userfaultfd 알림을 수신...)
• 2023년 3월 10일 (금) 07:48 Ahn9807 토론 기여님이 Throughput and latency 문서를 만들었습니다 (새 문서: 분류: 시스템 벤치마크 == 개요 == Throughput은 특정 단위 시간동안 처리하는 양을 말하며, Latency는 하나의 작업을 처리하는 동안 걸리는 시간을 말한다. Throughput은 Higher is better이고 Latency는 Lower is better이다. 예를 들어서, 하루동안 먹는 양은 Throughput이고 (kg/day)이고 식사시간은 Latency이다. 좀더 컴퓨터 과학으로 설명하면... File하나를 쓰는데 걸리는 시간은 Latency...)
• 2023년 3월 10일 (금) 07:38 Ahn9807 토론 기여님이 Sharing 문서를 만들었습니다 (새 문서: 분류: 운영체제 == 개요 == 운영체제에서 Sharing이란, 공유하는 자원을 서로다른 유저, 프로세서들이 공유하며 안전하게 접근할 수 있도록 해주는 운영체제의 핵심기능중 하나를 의미한다. 예를 들어서 UNIX Multiuser시스템에서 하나의 디스크를 서로다른 유저들이 안전하고 효율적으로 접근하게 해주는 기능을 들 수 있다.)
• 2023년 3월 10일 (금) 07:35 Ahn9807 토론 기여님이 Abstraction 문서를 만들었습니다 (새 문서: 분류: 운영체제 == 개요 == Abstraction을 운영체제의 기초적인 기능 중에 하나로서, 복잡한 하드웨어의 구현으로부터 핵심적인 개념 또는 기능을 간추려 내어, 사용자에게 제공하는 것을 말한다. 사실 Abstraction은 운영체제 뿐만 아니라 컴퓨터 과학 더 나아가 자연과학까지 과학의 기본을 구성하는 개념이라고 생각한다. 복잡한 자연환경에서 간단한 수학적 법칙을...)
• 2023년 3월 10일 (금) 07:30 Ahn9807 토론 기여님이 Light-Weight Contexts: An OS Abstraction for Safety and Performance 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016 James Litton, Peter Druschel == 개요 == 하나의 프로세스에서 다른 memory, file desriptors, 그리고 access capabilitiy를 가지는 LwC라는 새로운 Protection domain을 만들었다. LwC를 전환하는 것은 kernel thread를 switching하는 것보다 더 빠르게 가능하기 때문에 여러 새로운 기능을 탐구하고, 그...)
• 2023년 3월 7일 (화) 01:45 Ahn9807 토론 기여님이 분류:X86 가상화 문서를 만들었습니다 (새 문서: 분류: 가상화)
• 2023년 3월 7일 (화) 01:44 Ahn9807 토론 기여님이 VM exit reasons 문서를 만들었습니다 (새 문서: 분류: x86 가상화 == 개요 == == Reasons == ;7 Interrupt Window Exiting :이 bit가 enable되면, VM entry혹은 VM의 다음 명령어가 실행되는 순간 VM exit이 발생한다. :* RFLAGS.IF = 1 (외부 인터럽트가 unmaksed됨) :* STI혹은 MOV SS처럼 인터럽트를 허용하는 순간 :Interrupt window exiting은 VMM소프트웨어가 Interrupt을 Inject혹은 Deliver하는 과정에서 Guest VM이 인터럽트를 끈 상태에서, 인터럽트가 전송...)
• 2023년 3월 2일 (목) 12:41 Ahn9807 토론 기여님이 분류:파일 포맷 문서를 만들었습니다 (새 문서: 분류: 파일 시스템)
• 2023년 3월 2일 (목) 12:41 Ahn9807 토론 기여님이 ELF 문서를 만들었습니다 (Executable and linkage format 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 26일 (일) 10:05 Ahn9807 토론 기여님이 First-class function 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 언어 == 개요 == First-class function에서는 함수가 변수이다. First-class function은 함수가 변수처럼 생각되어서, 다른 함수의 인자로 넘길 수 있으며, 리턴 타입으로 나올 수 있으며, 자료구조와 같은 시스템으로 저장할 수 있다. first-class function을 허용하는 언어에서는 function의 이름이 특별한 의미를 가지는 것이 아니라, 다른 변수와 같은 의미를 가진...)
• 2023년 2월 26일 (일) 09:50 Ahn9807 토론 기여님이 Scope 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 언어 == 개요 == Scope란 특정 변수가 유효한 범위를 말한다. Scope은 같은 이름이 겹치는 것을 막아준다. 예를 들어서 <code>f(x) -> x + y</code> 라는 함수에 인자로 <code>val y = 5; 10 * y</code>를 넣었다고 해보자. 그럼 만약 Scope가 없다면, 결과가 <code>f(val y = 5; 10 * y) -> val y = 5; ; 10 * y + y</code>가 되어 55라는 결과가 나온다. 그러나 함수 f(x)의 정의는 사실 올...)
• 2023년 2월 26일 (일) 07:54 Ahn9807 토론 기여님이 First-order function 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 언어 == 개요 == First-order 함수는 function의 인자로 다른 함수를 받거나, return으로 함수를 내보내지 못하는 함수를 의미한다. Environment(Env)를 다음과 같이 Id를 특정 값으로 매핑하는 집합이라고 하자 (즉, val x= 5; 에서 x가 어떤 값인지를 찾아주는 집합이다). 이떄 Env 를 다음과 같이 정의하면: :<math>Env \,\, \sigma \in Id \rightarrow (Id \times Expr) </math> First-...)
• 2023년 2월 26일 (일) 05:43 Ahn9807 토론 기여님이 비말단 기호 문서를 만들었습니다 (Terminal and nonterminal symbols#Nonterminal symbols 문서로 넘겨주기) 태그: 새 넘겨주기
• 2023년 2월 26일 (일) 05:42 Ahn9807 토론 기여님이 말단 기호 문서를 만들었습니다 (Terminal and nonterminal symbols#Terminal symbols 문서로 넘겨주기) 태그: 새 넘겨주기