нульместние символи називають константами і позначають початковими буквами латинського алфавіту a, b, c. ..;
. Р = { р (0), р (1), р (2) ...; q (0), q (1), q (2) ...; } - безліч предикатних символів; р (0), q (0) -; нульместние символи називають логічними константами;
. { start, stop, ...,: = і т. д. < span align = "justify">} - безліч спеціальних символів.
термах (функціональними виразами) називаються слова, побудовані з змінних, функціональних і спеціальних символів за такими правилами:
1. Односимвольні слова, які з змінних або констант, є термами;
2. слово ? виду f (n) ( ? 1,? 2 ...? N), де ? 1,? 2 ...? n - терми, є термом;
. ті і тільки ті слова, про які йдеться в п.п. 1,2, є термами.
Приклади термів: х, f (0), а, f (1) (х), g (2) (x, h (3) (y, a)).
Тестами (логічними виразами) називаються логічні константи і слова виду р (n) (? 1,? 2, ...,? n). Допускається у функціональних і логічних виразах опускати індекси місцевості, якщо це не призводить до двозначності або протиріччя.
Безліч операторів включає п'ять типів:
1. початковий оператор - слово виду start (х1, х2 ... хк), де k? 0, а х1, х2 ... хк - змінні, звані результатом цього оператора;
2. заключний оператор - слово виду stop ( ? 1,? 2 ...? n), де n? 0, а ? 1,? 2 ...? n - терми; входження змінних в терми ? називаються аргументами цього оператора;
. оператор присвоювання - слово виду х: = ?, де х - змінна (результат оператора), а ? - терм; входження змінних в терми називаються аргументами цього оператора;
. умовний оператор (тест) - логічний вираз; входження змінних в логічне вираження називаються аргументами цього оператора;
