주요 공개 기록

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

• 2025년 9월 23일 (화) 02:01 Pinkgo 토론 기여님이 연습장 문서를 만들었습니다 (새 문서: ==Ex. 1== Existence)<br> Let <math>w</math> be any string over an <math>\Sigma</math>.<br> By the definition, the domain of <math>w</math> is a finite initial segment of <math>\mathbb{N}</math>.<br> This means that <math>\exist n \in \mathbb{N} </math> s.t. w is defined at <math>i \leftrightarrow i < n</math> Uniquness)<br> Suppose that <math>\exist n,\,\, m</math> s.t. both satisfy the condition for the string <math>w</math>.<br> That means, w is defined at position <math>i</m...)