黒板の先生の文字が読みにくい…教科書に書いてあることも多いから無理してメモらなくても良いかなあ。 length L1: #<> = 0 L2: #<x> = 1 L3: #<s^t> = #<s> + #<t> L4: #<t↑(A∪B)> = #<t↑A> + #<t↑B> - #<t↑(A∪B)> L5: s≦t ⇒ #s≦#t L6: #tn = n*(#t) Frequency of occurence of action S↓x = #(S↑{x}) e</t↑(a∪b)></t↑b></t↑a></t↑(a∪b)></t></s></s^t></x>…