Signs and rules are formalized as typed feature structures.
Tanda-tanda dan aturan-aturan diformalisasikan sebagai struktur fitur bertipe.