independent_common_compiler

# -*- coding: utf-8 -*-
"""音節と生成元の対応表。

doc: plain.format commonc.generators casm.generators

音節番号は生成順で決まる（19 式 2.1）。

    idx(cv) = 5 ord(c) + ord(v)
    C = (k s t n h m y r w g z d b p),  V = (a i u e o)

commonc の SYL 配列（19 §3.2）はこの番号をそのまま並べる。表はそこから引く。

範囲は三つに分かれる。

    idx <= 59      一音節の生成元
    idx 60..69     見出しの字母 Σ_V = {be bo pa pi pu pe po}（06 §17）
    ku + 二音節    三音節の生成元。領域の語（region.cam）

pin と pout は境界語を一段動かす幅（13 式 1.2）。boxes は Desc が開く MBox の本数
（16 §5）で、0 の語は実行費用を持たない。
"""

CONSONANT = "kstnhmyrwgzdbp"
VOWEL = "aiueo"


def name(idx):
    """音節番号から綴りを返す"""
    return CONSONANT[idx // 5] + VOWEL[idx % 5]


def index(syl):
    """綴りから音節番号を返す"""
    return 5 * CONSONANT.index(syl[0]) + VOWEL.index(syl[1])


# 欄は (記号, pin, pout, 開く箱の本数, 層) になる。
#
# 層は画面の色分けにだけ使う。
#   frame   文の区切り。層境界と無声ワイヤ
#   dyad    二進有理数 Z[1/2] の上の演算
#   bit     二値
#   store   作業領域
#   omega   閉包 Ω_a
#   judge   判定値 Q。非可換 quantale（GCLS 定理 3.3）
#   region  幾何の領域と鎖
#   report  報告
#   letter  見出しの字母
ATOM = {
    "ka": ("層境界", 0, 0, 0, "frame"),
    "ki": ("id", 1, 1, 0, "frame"),
    "ku": ("零標示 z_e", 0, 0, 0, "frame"),

    "hu": ("one", 0, 1, 1, "dyad"),
    "no": ("⊕", 2, 1, 1, "dyad"),
    "ha": ("⊖", 1, 1, 1, "dyad"),
    "ti": ("⋆", 2, 1, 1, "dyad"),
    "se": ("β", 1, 1, 4, "dyad"),
    "he": ("Δ", 1, 2, 0, "dyad"),
    "ho": ("!", 1, 0, 0, "dyad"),

    "so": ("φ∂", 1, 1, 8, "bit"),
    "hi": ("≤", 2, 1, 8, "bit"),
    "mo": ("π", 1, 1, 0, "bit"),

    "mi": ("Load", 1, 1, 1, "store"),
    "mu": ("Store", 2, 0, 1, "store"),

    "ya": ("Ω 開き", 0, 0, 0, "omega"),
    "yi": ("Ω 閉じ", 1, 0, 1, "omega"),

    "to": ("整合対", 2, 1, None, "judge"),
    "na": ("原型 1 と整合", 1, 1, None, "judge"),
    "ni": ("原型 0 と整合", 1, 1, None, "judge"),
    "nu": ("⋆_Q", 2, 1, None, "judge"),
    "ne": ("所属", 1, 1, None, "judge"),
    "yu": ("⋁", 2, 1, None, "judge"),
    "ye": ("↘", 2, 1, None, "judge"),
    "yo": ("↙", 2, 1, None, "judge"),
    "ra": ("≤_Q", 2, 1, None, "judge"),
    "ri": ("hom", 2, 1, None, "judge"),
    "ru": ("π_Q", 1, 1, None, "judge"),
    "go": ("Θ", 1, 1, None, "judge"),

    "bi": ("∂", 1, 1, 0, "region"),
    "bu": ("⊕ 鎖", 2, 1, 0, "region"),

    # ツイ数平面。型名 T/P/R はそれぞれ複数の lane64 語で表す。
    #   Trace T      = 4 語
    #   Point P      = 2 語
    #   Reflection R = 1 語
    # pin/pout は抽象オブジェクトの個数ではなく、この境界語の本数になる。
    # 箱数は commonc の正規化で生成元単位に固定できないため None とする。
    "re": ("trace", 0, 4, None, "plane"),
    "sa": ("i", 4, 4, None, "plane"),
    "si": ("j", 4, 4, None, "plane"),
    "ke": ("id", 4, 4, None, "plane"),
    "su": ("⊖ trace", 4, 4, None, "plane"),
    "ro": ("ρ⁻", 4, 4, None, "plane"),
    "wa": ("ρ⁺", 4, 4, None, "plane"),
    "wi": ("endpoint", 4, 2, None, "plane"),
    "ko": ("id coord", 2, 2, None, "plane"),
    "ta": ("⊕ coord", 4, 2, None, "plane"),
    "de": ("実成分", 2, 2, None, "plane"),
    "do": ("無限成分", 2, 2, None, "plane"),
    "wu": ("E", 0, 1, None, "plane"),
    "we": ("R_r", 0, 1, None, "plane"),
    "wo": ("R_ij", 0, 1, None, "plane"),
    "ga": ("合成", 2, 1, None, "plane"),
    "gi": ("act", 3, 2, None, "plane"),

    "me": ("Ok", 0, 0, 1, "report"),
    "di": ("Ko", 0, 0, 1, "report"),
    "du": ("Put", 1, 0, 1, "report"),
}

# ku を頭に置く三音節の生成元（region.cam）
TRIPLE = {
    "kukeke": ("領域", 1, 1, 0, "region"),
    "kukeko": ("共通部", 2, 1, 0, "region"),
    "kukesa": ("合わせ", 2, 1, 0, "region"),
    "kukesi": ("外側", 2, 1, 0, "region"),
    "kukesu": ("境界 ∂", 1, 1, 0, "region"),
    "kukese": ("含まれる", 2, 1, 1, "region"),
    "kukeso": ("重なり", 2, 1, 1, "region"),
    "kuketa": ("隣接", 2, 1, 1, "region"),
    "kuketi": ("道", 1, 1, 1, "region"),
}

# 見出しの字母（06 §17）。採用語彙の名前だけに使い、生成元ではない
LETTERS = ("be", "bo", "pa", "pi", "pu", "pe", "po")

LAYER_BOUNDARY = 0          # ka
IDENTITY = 1                # ki
ZERO_MARK = 2               # ku


def stream(text):
    """filter_Σ（16 §1.1、19 式 4.1）。音節表の外の字を落として番号の列にする。

    ＡＳＣＩＩ 小文字が音節へ切れない所は誤りになる。
    """
    keep = [c for c in text if "a" <= c <= "z"]
    if len(keep) % 2:
        raise ValueError("音節の途中で切れている: ...%s" % "".join(keep[-5:]))
    out = []
    for k in range(0, len(keep), 2):
        c, v = keep[k], keep[k + 1]
        if c not in CONSONANT or v not in VOWEL:
            raise ValueError("音節表に無い綴り: %s%s" % (c, v))
        out.append(5 * CONSONANT.index(c) + VOWEL.index(v))
    return out


def look(spelling):
    """綴りから (記号, pin, pout, 箱, 層) を返す。表に無い綴りは None"""
    return TRIPLE.get(spelling) or ATOM.get(spelling)


def read(syl, lexicon=None):
    """SYL の番号列を語へ切る。返りは (綴り, 記号, pin, pout, 箱, 層, 長さ)。

    ku で始まる三音節は一語にまとめる。見出しの字母が続く区間も一語にまとめる
    ので、採用語彙の見出しがそのまま画面に出る。

    lexicon は {見出し: (pin, pout, 箱)}。見出しは文を差し込む（16 式 1.6）ので、
    境界の幅は差し込む文が決める。渡さないと幅 0 として置く。
    """
    lexicon = lexicon or {}
    out = []
    i = 0
    n = len(syl)
    while i < n:
        s = name(syl[i])
        if s == "ku" and i + 2 < n:
            t = s + name(syl[i + 1]) + name(syl[i + 2])
            hit = TRIPLE.get(t)
            if hit:
                out.append((t,) + hit + (3,))
                i += 3
                continue
        if s in LETTERS:
            j = i
            word = ""
            while j < n and name(syl[j]) in LETTERS:
                word += name(syl[j])
                j += 1
            pin, pout, bx = lexicon.get(word, (0, 0, None))
            out.append((word, "見出し", pin, pout, bx, "letter", j - i))
            i = j
            continue
        hit = ATOM.get(s)
        if hit:
            out.append((s,) + hit + (1,))
        else:
            out.append((s, "未登録", 0, 0, None, "unknown", 1))
        i += 1
    return out