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, [])           → []