巨大数研究 Wiki
Advertisement
巨大数研究 Wiki

UNOCF→ECF2

挑戦2回目

Ω

ユーザーブログ:Rpakr/UNOCF の定義を試みる (1)

Ω_2

ユーザーブログ:Rpakr/UNOCF の定義を試みる (2)

Ω_ω

ユーザーブログ:Rpakr/UNOCF の定義を試みる (3)

TON

正の整数 \(n\) に対し、文字列の集合 \(T_n\) を以下のように再帰的に定める。

  • \(0 \in T_n\) である。
  • \(\Omega_n \in T_n\) である。
  • 任意の \(x, y \in T_n\) に対し、\(C(x,y) \in T_n\) である。
Advertisement