Сөздерді топта өңдеу - Word Processing in Groups

Сөздерді топта өңдеу теориясы бойынша математикада монография болып табылады автоматты топтар; бұл типтер абстрактілі алгебра оның әрекеттері мінез-құлқымен анықталады ақырлы автоматтар. Кітаптың авторлары Эпштейн Дэвид Б., Джеймс В., Дерек Ф. Холт, Сильвио В. Ф. Леви, Майк Патерсон, және Уильям Терстон. Алдын ала басып шығару түрінде кең таралған ол автоматты топтарды зерттеудің негізін 1992 ж. Джонс пен Бартлетт баспагерлері шығарғанға дейін жасады (ISBN  0-86720-244-0).[1][2][3]

Тақырыптар

Кітап екі бөлікке бөлінген, біреуі осы құрылымдардың негізгі теориясына, екіншісі соңғы зерттеулерге, геометриямен байланыстарға және топология және басқа да тақырыптар.[1]

Бірінші бөлімде сегіз бөлім бар. Олар автоматтар теориясын және қарапайым тілдер және логикалық тіркесімдер кезінде кәдімгі тілдердің жабылу қасиеттері; автоматты топтар мен биатоматикалық топтардың анықтамасын; топологиядан мысалдар және «таралатын» құрылым Кейли графиктері автоматты топтар; абель топтары және автоматтығы Евклидтік топтар; топтың автоматты екендігін анықтау теориясы және оны Эпштейн, Холт және Сара Рис; асинхронды автоматтарға кеңейтулер; және нөлдік топтар.[1][2][4]

Екінші бөлімде төрт бөлім бар өру топтары, изопериметриялық теңсіздіктер, геометриялық ақырлық, және іргелі топтар үш өлшемді коллекторлар.[1][4]

Аудитория және қабылдау

Негізінен оқулық болмаса да, кітаптың бірінші бөлімі магистратура курсының негізі бола алады.[1][4] Жалпы, шолушы Гилберт Баумслаг оны «топтық теорияға немесе топологияға қызығушылық танытатындардың барлығына, сондай-ақ компьютер ғалымдарына өте қатты кеңес береді».

Баумслаг шектелген, анықталған топтарға қатысты, бірақ ескі зерттеу саласының маманы болды презентациялар, онда зерттеулер көптеген негізгі проблемалар туындайтын құбылыспен тоқтатылды шешілмейтін. Автоматтық топтардың шығу тегі ХХ ғасырдың бас кезінде болғанына қарамастан Макс Дехн, ол кітап «топтардың таңқаларлық жаңа сыныбын» зерттейтінін, «бұл автоматты топтарды зерттеудің кейбір түрлерін жылдамдығы жоғары компьютерлер көмегімен жүргізуге болатындығы туралы» керемет мүмкіндік туғызатынын және бұл кітап «өте үлкен әсер етуі мүмкін ».[2]

Рецензент Дэниэл Э.Коэн кітаптың екі ерекшелігі ерекше және қош келдіңіз деп қосты: Біріншіден, ол ұсынған математикалық нәтижелерде тек сандар емес, бар, екіншіден, кітаптың құны төмен.[3]

Бірнеше жылдан кейін, 2009 жылы, математик Марк В.Лоусон өзінің «тақ атауы» болғанымен, кітап жасалған деп жазды автоматтар теориясы, домені бір рет компьютерлік ғалымдар математиктер арасында құрметті және бұл «математика мен информатика арасындағы дипломатиялық қатынастардағы тыныш революцияның» бөлігі болды.[5]

Пайдаланылған әдебиеттер

  1. ^ а б c г. e Апанасов, Б. Н., «Шолу Сөздерді топта өңдеу", zbMATH, Zbl  0764.20017
  2. ^ а б c Баумслаг, Гилберт (1994), «Шолу Сөздерді топта өңдеу", Американдық математикалық қоғамның хабаршысы, Жаңа сериялар, 31 (1): 86–91, дои:10.1090 / S0273-0979-1994-00481-1, МЫРЗА  1568123
  3. ^ а б Коэн, Д.Э. (1993 ж. Қараша), «Шолу Сөздерді топта өңдеу", Лондон математикалық қоғамының хабаршысы, 25 (6): 614–616, дои:10.1112 / blms / 25.6.614
  4. ^ а б c Томас, Ричард М. (1993), «Шолу Сөздерді топта өңдеу", Математикалық шолулар, МЫРЗА  1161694
  5. ^ Лоусон, Марк В. (желтоқсан 2009 ж.), «Шолу Ресми тілдер мен автоматтар теориясының екінші курсы Джеффри Шаллит », SIAM шолуы, 51 (4): 797–799, JSTOR  25662348