Power Domain (Daerah Tenaga)

Teori Set menyediakan suatu notasi elegan untuk uraian perhitungan.

Keluarga bahasa Pascal menyediakan set gabungan dan simpangan dan keanggotaan set.

Set dari semua subsets dari sebuah set adalah set tenaga dan digambarkan:

PS = { s | s is a subset of S }

P = { s | s is a subset}

Subtype dan subrange adalah : contoh dari pembangun set tenaga.

Fungsi adalah : subsets daerah produk.

Contoh : fungsi persegi dapat diwakili sebagai subset daerah produk Nat x Nat.

sqr = {(0,0),(1,1),(2,4),(3,9),...}

Penyamarataan membantu untuk menyederhanakan daftar tanpa batas ini untuk:

sqr = {(x,x*x)| x didalam Nat}

Daerah Batasan Pengulangan

Adalah : daerah yang definisinya menjadi bentuk:

D:... D...

Definisi disebut berulang karena nama daerah “berulang” pada sisi kanan dari definisi. Daerah batasan pengulangan tergantung pada abstrak karena nama daerah adalah suatu bagian penting dari definisi daerah.

Lebih dari satu set boleh mencukupi suatu definisi berulang. Bagaimanapun, mungkin saja ditunjukkan bahwa suatu definisi berulang selalu mempunyai solusi terkecil.

Solusi terkecil adalah suatu subset solusi yang lain.

Solusi terkecil daerah batasan pengulangan yang digambarkan didapat melewati suatu urutan perkiraan (D0, D1,...) ke daerah dgn daerah yg menjadi batas dr urutan perkiraan (D= limi--> infty Di).

Batas adalah solusi yang terkecil pada definisi daerah berulang