MTTのイメージ
ちょうど、こういうページにぶつかって。そこにMTTのてきすと説明の
サンプルがあった。
http://lamp.epfl.ch/~emir/bqbase/2005/02/04/example_rectrans.html
input X = { Phonebook, Entry, Name, Phone, String } ∪ { o, atom, [] } output Y = { Table, Tr, Td } ∪ { o, atom, [] } transf == (q,Phonebook[xs]) → Table[p(xs)] (q,Entry[xs]) → Tr[p(xs)] (q,Name[xs]) → Td[atom("Name") o p(xs)] (q,Phone[xs]) → Td[atom("Phone") o p(xs)] (p, xs o ys) → p(xs) o p(ys) (p, atom(x)) → atom(q(x)) (p, []) → []