Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/staff/kudryavtsev/Kudryavtsev_Rosenberg.pdf Дата изменения: Sun Mar 29 13:01:44 2009 Дата индексирования: Mon Oct 1 22:47:21 2012 Кодировка: Поисковые слова: m 77

Automata, Semigroups, and Universal Algebra
Edited by

Strutura| heory of

Valery B. Kudryasev and Ivo G. Rosenberg
NAo Siene Series


NAo Sciene Series
A Series presenting the results
Programme.
of sientific meetings supported under the NATO Siene

The Series is pub|ished by IoS Press, Amsterdam, and Springer (former|y K|uwer Aademi Pub|ishers) in conjuntion With the NATo Pub|i Dip|omay Division.

Strutural heory of Automata, Semigroups, and Universal Algebra
+trr:al Dy

Sub-Series

I.

|l. thematics' Physis nd
l||.

Life and BehviourI Scienes

Computer and systems

lV. Earth and Environmenta|

Chemistry Siene Sienes

IOS Press Springer (formerIy K|uwer Aademi PubIishers) Springer (former|y Kluwer Aademi Publishers)

loS Press

he NAo sciene series continues the series of books published formerlv as the NAo ASI Series.

Valery B. KudrYavtsev
tl|r:s:ow. Russia

he NATO Siene Programme offers support for col|aboration in ivi| siene between sientists

ountries of the Euro-At|anti Partnership Couni|. he types of sientifi meeting genera|Iy ..Advaned are,.Advaned Study Institutes'' and Researh Workshops',, and the NATO Siene ol|ets together the results of these meetings. The meetings are o-organized by sientists from NATO ountries and scientists f rom NAo's Partner ountries ountries of the CIS and Central and

of supported Series

]gment of Mathematial heory of Intelligent Systems' :::,- J of Mehanis and Mathmatis, \l .' lomonosov Mosow State University'

astern

urope.

:.'-

fli"'il:*

study Institutes are high-|eve| tutoria| courses ottering in-depth study of |atest

advanes
and

ilvo G. Rosenberg
..',lsitvof
Montrea|,

Advaned ResearhWorkshops

are expert meetings aimed at ritia| assessment of a fie|d,

identifiation of diretions for future ation

].;De. Canada

As a onsequene of the restruturing of the NAo siene Programme in 1999' the NAo siene Series was re-organized to the four sub.sertes noted above' P|ease onsu|t the foliowing web sites for information on previous volumes published in the Series.
http://wurw. nato. http ://wvwv. s ri

-:ial ditor:

inVsiene
e ron
I

ng

i

n e.

o m

Pv{artin

http://www. iospress. nl

]:artment of Mathematis and statistis'
. - .rsity of Montrea|, ]..'e. Canada

Goldstein

-Series
l|:


Mathematics, Physis and Chemistr -Yo|'2o7

springer

: -:, s-.d in ooperation with NATO Pub|i Dip|omay Division


Tble of Contents fa
Irr.to group

vii iii
v

pitue

Paiipants ntiutos
Jog

xxi

Profinit semigroups and Jol BRMAN h strutur of fr Jiign DASSOW

ALMIDA

appliations

1

algbras relations

47

Cmpltenss of automation mappings with respt to quivaln ruo HIKITA, Ivo G. ROSNBERG orpltenss f uniforrnly dlayd operations
Pa-}

77

109

Clssifiation in finit modl theory: ounting finit \Ial JACKSON Sntati smigroups and th finite basis trll KAARLI, L6'sz\6 MARKI ndopimal algbras

. IDZIK

algbras

I4g

problm

159

169

.\di KROKHIN, Andri BULATOV, Pter JAVONS h omplexity of onstraint satisfation: an algeai approah

181

\.. B. UDRYAVTSV

on th automata funtional systms

215

.\lxander LTIIIEVSKY .\lgra of bhavior transformations and its

appliations uses

241

Rtph MCKENZI, John SNOW Cngun modular varitis: ommutatoI theory and its
Lr. N. SHVRIN

273

pigoups

331

\Iagnus STINBY .\1gbrai lassifiations of regular tr

languag'

381

lndx

433