17/11/2016 02:16:29 PM

Ứng dụng

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:

<tttmodel> ::= <testctt><function>+

<testctt> ::= <testctt_name> < testctt_set>

 < testctt_var> < testctt_init> < begin_end>

<testctt_name> ::= TESTCTT <name> (<sut_output>*) returns (<sut_input>*);

<testctt_set> ::= set <basic_type>+ ;

<testctt_var> ::= var <local_variable>+ ;

<testctt_init> ::= init <initial_state>+ ;

<begin_end> ::= begin <statement>+ end;

<function> ::= <function_name> <function_var><begin_end>

 

» Tin mới nhất:

» Các tin khác:

Hôm nay, ngày

10/06/2025

Tuần học:

45

Sinh viên tiêu biểu

Số lượt truy cập: 10012666