Cấu trúc cơ bản của ngôn ngữ TTT
Chúng tôi định nghĩa các cú pháp của ngôn ngữ TTT theo hình thức dạng BNF (Backus Normal Form). Các cú pháp cho cấu trúc cơ bản của một mô hình của ngôn ngữ TTT được trình bày như sau:
< testctt_var> < testctt_init> < begin_end>