简述LOTOS模型中定义了哪些基本算符，并简述这些算符的含义。