Describir: Algebraičeskaja teorija avtomatov jazikov i pologrupp