000 03346nam a22004815i 4500
001 978-1-4020-3817-4
003 DE-He213
005 20161121230930.0
007 cr nn 008mamaa
008 100301s2005 ne | s |||| 0|eng d
020 _a9781402038174
_9978-1-4020-3817-4
024 7 _a10.1007/1-4020-3817-8
_2doi
050 4 _aQA150-272
072 7 _aPBF
_2bicssc
072 7 _aMAT002010
_2bisacsh
082 0 4 _a512
_223
245 1 0 _aStructural Theory of Automata, Semigroups, and Universal Algebra
_h[electronic resource] :
_bProceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra Montreal, Quebec, Canada 7–18 July 2003 /
_cedited by Valery B. Kudryavtsev, Ivo G. Rosenberg, Martin Goldstein.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2005.
300 _aXXII, 434 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aNATO Science Series II: Mathematics, Physics and Chemistry,
_x1568-2609 ;
_v207
505 0 _aProfinite semigroups and applications -- The structure of free algebras -- Completeness of automaton mappings with respect to equivalence relations -- Completeness of uniformly delayed operations -- Classification in finite model theory: counting finite algebras -- Syntactic semigroups and the finite basis problem -- Endoprimal algebras -- The complexity of constraint satisfaction: an algebraic approach -- On the automata functional systems -- Algebra of behavior transformations and its applications -- Congruence modular varieties: commutator theory and its uses -- Epigroups -- Algebraic classifications of regular tree languages.
520 _aSeveral of the contributions to this volume bring forward many mutually beneficial interactions and connections between the three domains of the title. Developing them was the main purpose of the NATO ASI summerschool held in Montreal in 2003. Although some connections, for example between semigroups and automata, were known for a long time, developing them and surveying them in one volume is novel and hopefully stimulating for the future. Another aspect is the emphasis on the structural theory of automata that studies ways to contstruct big automata from small ones. The volume also has contributions on top current research or surveys in the three domains. One contribution even links clones of universal algebra with the computational complexity of computer science. Three contributions introduce the reader to research in the former East block.
650 0 _aMathematics.
650 0 _aAlgebra.
650 0 _aGroup theory.
650 1 4 _aMathematics.
650 2 4 _aGeneral Algebraic Systems.
650 2 4 _aGroup Theory and Generalizations.
700 1 _aKudryavtsev, Valery B.
_eeditor.
700 1 _aRosenberg, Ivo G.
_eeditor.
700 1 _aGoldstein, Martin.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781402038150
830 0 _aNATO Science Series II: Mathematics, Physics and Chemistry,
_x1568-2609 ;
_v207
856 4 0 _uhttp://dx.doi.org/10.1007/1-4020-3817-8
912 _aZDB-2-SMA
950 _aMathematics and Statistics (Springer-11649)
999 _c506079
_d506079