Моноидты із - Trace monoid - Wikipedia

Жылы есептеу техникасы, а із жиынтығы жіптер, онда жолдағы кейбір әріптерге рұқсат етіледі жүру, ал басқалары жоқ. Ол әріптер әрдайым бекітілген тәртіпте болуға мәжбүрлемей, белгілі бір өзгертулерге жол беріп, жол ұғымын жалпылайды. Іздер енгізілді Пьер Картье және Доминик Фоата 1969 жылы комбинаторлық дәлелдеме беру МакМахонның Мастер теоремасы. Іздер теорияларында қолданылады бір уақытта есептеу Мұнда коммутациялық хаттар бір-бірінен тәуелсіз орындай алатын жұмыстың бөліктерін, ал ауыспайтын хаттар құлыпты білдіреді, синхрондау нүктелері немесе жіп қосылады.[1]

The моноидты із немесе еркін ішінара коммутативті моноид Бұл моноидты іздер. Қысқаша айтқанда, ол келесідей құрастырылған: маршруттық әріптер жиынтығы an арқылы беріледі тәуелсіздік қатынасы. Бұлар эквиваленттік жолдардың эквиваленттік қатынасын тудырады; эквиваленттік кластардың элементтері іздер болып табылады. Эквиваленттік қатынас содан кейін бөледі ақысыз моноид (ақырлы ұзындықтың барлық тізбектерінің жиынтығы) эквиваленттік кластар жиынтығына; нәтиже әлі де моноидты болып табылады; Бұл моноидты және деп аталады моноидты із. Моноидты із әмбебап, барлық тәуелділік-гомоморфты (төменде қараңыз) моноидтар шын мәнінде изоморфты.

Іздеу моноидтары әдетте модельдеу үшін қолданылады бір уақытта есептеу үшін негіз қалайды технологиялық калькуляция. Олар зерттеу нысаны болып табылады із теориясы. Іздік моноидтардың пайдалылығы олардың моноидымен изоморфты болатындығынан туындайды тәуелділік графиктері; осылайша алгебралық техниканы қолдануға мүмкіндік береді графиктер, және керісінше. Олар сонымен қатар изоморфты тарих моноидтар, бір немесе бірнеше компьютерлердегі барлық жоспарланған процестер жағдайында жеке процестерді есептеу тарихын модельдейді.

Із

Келіңіздер бос моноидты, яғни алфавитпен жазылған барлық жолдардың жиынтығын белгілеңіз . Мұнда жұлдызша әдеттегідей «.» Kleene жұлдыз. Ан тәуелсіздік қатынасы қосулы содан кейін екілік қатынас туғызады қосулы , қайда егер бар болса ғана және жұп осындай және . Мұнда, және жолдар деп түсініледі (элементтері ), ал және әріптер (элементтері ).

The із симметриялы, рефлексивті және өтпелі тұйықталу ретінде анықталады . Бұл із - бұл эквиваленттік қатынас , және арқылы белгіленеді . Жазба Д. эквиваленттілік эквиваленттілік тәуелсіздіктен алынады дегенді білдіреді Мен тәуелділіктен туындаған Д.. Әр түрлі тәуелділіктер әртүрлі эквиваленттік қатынастар беретіні анық.

The өтпелі жабылу жай мұны білдіреді егер жолдар тізбегі болған жағдайда ғана осындай және және барлығына . Іздеу моноидты операция кезінде тұрақты (тізбектеу ) және сондықтан а үйлесімділік қатынасы қосулы .

Моноидты із, әдетте ретінде белгіленеді , моноидты бөлік ретінде анықталады

Гомоморфизм

әдетте деп аталады табиғи гомоморфизм немесе канондық гомоморфизм. Бұл шарттар табиғи немесе канондық лайықты деп осы бөлімде айтылған осы морфизмнің әмбебап қасиетті бейнелейтіндігінен шығады.

Мысалдар

Алфавитті қарастырыңыз . Мүмкін болатын тәуелділік қатынасы

Тиісті тәуелсіздік

Сондықтан, хаттар жүру. Осылайша, мысалы, жолға арналған эквиваленттік із болар еді

Эквиваленттілік класы моноидтың ізі болып табылады.

Қасиеттері

The жою күші эквиваленттіліктің сақталатынын айтады дұрыс күшін жою. Яғни, егер , содан кейін . Міне, нота хаттың бірінші пайда болуын жоюды, жоюды білдіреді а жіптен w, оң жақтан бастап. Эквиваленттілік сол жақтан бас тарту арқылы да сақталады. Бірнеше қорытындылар:

  • Ендіру: егер және егер болса жіптер үшін х және ж. Сонымен трек моноид синтаксистік моноид болып табылады.
  • Тәуелсіздік: егер және , содан кейін а тәуелді емес б. Бұл, . Сонымен қатар, жол бар w осындай және .
  • Проекция ережесі: эквиваленттілік сақталады жол проекциясы, егер болса , содан кейін .

Күшті формасы Леви леммасы іздер үшін ұстайды. Нақтырақ айтқанда, егер жіптер үшін сен, v, х, ж, содан кейін жолдар бар және осындай барлық хаттар үшін және осындай пайда болады және пайда болады , және

[2]

Әмбебап меншік

A тәуелділік морфизмі (тәуелділікке қатысты) Д.) морфизм болып табылады

кейбір моноидты М, «әдеттегі» іздік қасиеттеріне ие, атап айтқанда:

1. мұны білдіреді
2. мұны білдіреді
3. мұны білдіреді
4. және мұны білдіреді

Тәуелділік морфизмдері әмбебап болып табылады, яғни берілген тәуелділік үшін Д., егер моноидқа тәуелділік морфизмі болып табылады М, содан кейін М болып табылады изоморфты моноидты ізге . Атап айтқанда, табиғи гомоморфизм тәуелділік морфизмі болып табылады.

Қалыпты формалар

Із қалдырушы моноидтардағы сөздердің екі белгілі қалыпты формасы бар. Біреуі лексикографиялық қалыпты форма, Анатолий В.Анисимовқа байланысты және Дональд Кнут, ал екіншісі - Фоата байланысты қалыпты форма Пьер Картье және Доминик Фоата моноидты ізді зерттеген комбинаторика 1960 жылдары.

Тілдерді бақылау

Формальды тілдің ішкі бөлігі ретінде қарастырылуы мүмкін сияқты барлық мүмкін жолдардың жиынтығы, сондықтан іздеу тілі ішкі жиын ретінде анықталады барлық мүмкін іздер.

Тіл іздік тіл болып табылады немесе айтылады тұрақты тәуелділікпен Д. егер

қайда

жолдар жиынтығының ізбен жабылуы.

Ескертулер

  1. ^ Sándor & Crstici (2004) б.161
  2. ^ Ұсыныс 2.2, Diekert and Métivier 1997.

Әдебиеттер тізімі

Жалпы сілтемелер

  • Диекерт, Фолькер; Métivier, Ив (1997), «Ішінара ауыстыру және іздер», Розенбергте, Г.; Саломаа, А. (ред.), Ресми тілдер туралы анықтама 3; Сөзден тыс, Спрингер-Верлаг, Берлин, 457–534 б., ISBN  3-540-60649-1
  • Лотир, М. (2011), Сөздерге алгебралық комбинаторика, Математика энциклопедиясы және оның қолданылуы, 90, Жан Берстел мен Доминик Перриннің алғысөзімен (2002 ж. Ред. Ред.), Кембридж университетінің баспасы, ISBN  978-0-521-18071-9, Zbl  1221.68183
  • Антони Мазуркевич, «Іздер теориясына кіріспе», 3–41 бб Іздер кітабы, В.Диекерт, Г. Розенберг, редакция. (1995) World Scientific, Сингапур ISBN  981-02-2058-8
  • Фолкер Диекерт, Іздер бойынша комбинаторика, LNCS 454, Springer, 1990, ISBN  3-540-53031-2, 9–29 б
  • Шандор, Йозеф; Crstici, Борислав (2004), Сандар теориясының анықтамалығы II, Дордрехт: Kluwer Academic, 32-36 бет, ISBN  1-4020-2546-7, Zbl  1079.11001

Жарнамалық басылымдар

  • Пьер Картье және Доминик Фоата, Коммутация және қайта жабдықтау комбинаттары, Математикадағы дәрістер 85, Спрингер-Верлаг, Берлин, 1969, Тегін 2006 қайта басу жаңа қосымшалармен
  • Антони Мазуркевич, Параллельді бағдарламалар схемалары және оларды түсіндіру, DAIMI есебі PB 78, Орхус университеті, 1977 ж