재귀함수

1. 기본 2단계
   1. basic step: 0번째 함수값
   2. recursive step: 일반항

재귀집합

1. 기본 2단계
   1. basic step: 초기 집합 원소
   2. recursive step: 새로운 집합에 대한 rule
   
2. string
   1. 용어
      1. λ: null string
      2. X∗: λ를 포함한 x의 문자열 집합
   2. 알고리즘
      
      
      

체계화 공식(well-formed)

rooted tree

구조 귀납법(structural induction)

1. 기본 2단계
   1. basis step: 기본단계에서 집합에 속한다고 명시된 모든 원소들에 대해 결과가 성립함을 보임
   2. recursive step: 새로운 원소들을 만드는데 사용된 각 원소들이 참이면 새로운 원소들에 대해서도 결과가 성립함을 보임