mwang (02/22/83)
_D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E
_U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O
_S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S
_C_O_M_P_U_T_E_R _S_C_I_E_N_C_E _C_O_L_L_O_Q_U_I_U_M
- _W_e_d_n_e_s_d_a_y, _M_a_r_c_h _2, _1_9_8_3.
-
Prof. Dana Scott of Carnegie-Mellon University will
speak on "Infinite Words".
_T_I_M_E: 3.30 PM
_R_O_O_M: MC 5158
_A_B_S_T_R_A_C_T
There are many extensions of the free semigroup known
but I argue that they do not have really sensible alge-
braic properties. A new definition of finite word is
proposed, and the semigroup of finite and infinite
words constructed is related to automata theory and to
the theory of profinite algebras. Some applications
and problems are suggested.
February 22, 1983