Anda di halaman 1dari 5

Semntica de Processos e Categorias Monoidais

Hugo B. Mezarina Instituto de Informatica Universidade Federal de Rio Grande do Sul (UFRGS) Porto Alegre - RS Brasil hcmbeltran@inf.ufrgs.br Resumo: Este artigo e !lora o !oder de e !ress"o de categorias monoidais !ara definir uma sem#ntica de !rocessos$ A !artir do Fec%o de &leene ' constr(i-se acima dele ideas de !rocessos n"o concorrentes) e !rocessos n"o determin*sticos e determin*sticos$ S"o vistos o +odelo de ,ra-os com +onoides e com!arados com .ategorias /ivremente Geradas a !artir de Grafos$ e os +onoides %ist(ricos$ 0 modelos de ,ra-os 1 n"o concorrente e 1 com!arado com um modelo 1. Introduo: 0s monoides !odem ser vistos como uma categoria' como referido em 2+ene3es 45567$ S"o estruturas categoriais sim!les mas com um grande !oder de e !ress"o$ +as esta sim!licidade' envolve ideias muito e !ressivas$ A sem#ntica neste artigo 1 entendida como uma se8u9ncia de tra-os ou %ist(rico$ .ada uma das estruturas monoidais estudadas neste artigo e !andem a a ideias de sem#ntica' desde !rocessos n"o concorrentes e concorrentes) determin*sticos e n"o determin*sticos$ 2 Modelos Semnticos Baseados em raos Uma sem#ntica !ode ser definida como um con:unto de ,ra-os$ ;os modelos Sem#nticos Baseados em ,racos' ditos tra-os ou com!uta-<es s"o o resultado da com!osi-"o de a-<es at=micas' o 8ue gera todas as !oss*veis com!uta-<es (ou %ist(rico de com!uta-<es)$ ;este ti!o de modelo sem#ntico' as a-<es at=micas ocorrem n"o deterministicamente$ >isto como um monoide' o con:unto su!orte deste monoide seria o con:unto de todas as !oss*veis com!uta-<es$ 0 n"o determinismo esta marcado !elo fato 8ue os morfismos deste monoide !odemse com!or sem im!ortar a ordem' sendo 8ue todos os morfismos !artem e c%egam no o?:eto @nico deste monoide$ Assim' !ode-se modelar de maneira muito sim!les a escol%a 8ue o sistema fa3 a cada ve3 8ue um tra-o 1 gerado$

2.! Monoide "#licado na $uno Induzida #or um rao em uma Ma%uina Se for gerado livremente um monoide a !artir de um con:unto o!era-<es inter!retadas de uma ma8uina de tra-os' !oderia-se definir uma sem#ntica' como visto acima$ .omo definida em 2AI>7' uma ma8uina + B C>'D'ED' EF' GF'G,H' 0! B CF'G'I'$$$H o con:unto de o!era-<es inter!retadas em GF e J B FG$$$I um tra-o !oss*vel de +$ 0u se:a' J !ertence a 0!K$ A fun-"o indu3ida !elo traco J na +a8uina + a!licada a uma entrada !ertence D 1 denotada !or 2JL'+7 B EI M N M EG M EG M ED( ) 0 8ue 8uer di3er 8ue uma fun-"o indu3ida !or um tra-o 1 a fun-"o resultante da com!osi-"o das inter!reta-<es das o!era-<es 8ue constituem o tra-o$ Para gerar um monoide livre 8ue modele uma sem#ntica' o seu con:unto gerador seria o?:eto as com!osi-<es das o!era-<es inter!retadas da ma8uina +$ 2.& Com#arao do Modelos de raos entre o Monoide e uma 'ra(o )nri%uecido

O !oss*vel re!resentar tra-os de sistemas determin*sticos utili3ando outras categorias categoriais' como !or e em!lo' enri8uecendo e em!o?recendo grafos com funtores livres e funtores es8uecimento$ Um grafo refle ivo !ode ser inter!retado como um sistema$ Su!on%a 8ue dito grafo os nodos re!resentem estados e os arcos' fun-<es transi-"o) So?re esse grafo 1 !oss*vel a!licar um funtor livre !ara 8ue se:a enri8uecido como uma categoria$ Assim' cada nodo do grafo !assaria a ser o?:eto da nova categoria$ 0s arcos !assariam a ser morfismos$ 0s seguintes !assos do enri8uecimento tem sentido desde o !onto de vista da sem#ntica dos tra-os$ Ficariam e !licitas as o!era-<es Pfa3 nadaQ 8uando !ara cada o?:eto a!are-am os morfismos identidade$ ,am?1m 8uedariam e !l*citos os camin%os entre os o?:etos conectados !elos morfismos 8ue se:am com!on*veis$ Assim' o nova categoria gerada livremente a !artir do grafo 8ue re!resenta um sistema tam?1m re!resentaria todas as com!uta-<es$ Para o?ter os tra-os corres!ondentes Rs com!uta-<es do sistema' se a!licaria um funtor es8uecimento 8ue es8uece todo' a e ce!-"o da informa-"o contida nos morfismos$ Aitas informa-<es geram uma sem#ntica' de acordo com o +odelo de ,ra-os$ Se ?em' !ode-se modelar uma sem#ntica utili3ando o +odelos de ,ra-os usando os 4 m1todos acima' eles tem im!ortantes desvantagens$ Uma de elas 1 8ue dito modelo 1 n"o concorrente$ Se ?em' 1 !oss*vel e !ressar inde!end9ncia de a-<es de maneira indireta' via intercala-"o$ E item outras duas estruturas categoriais 8ue !odem vencer as limita-<es do modelo de tra-os$

Essas estruturas monoidais s"o os +onoides Iist(ricos e os +onoides de ,ra-os$ ! .Monoides Hist*ricos Eles s"o uma maneira de re!resentar %ist(ricos de !rocessos concorrentes como se fossem uma cole-"o de strings$ .ada um de esses strings re!resentam o %ist(rico individual de um !rocesso$ 0s monoides %ist(ricos s"o isomorfos a os monoides de ,ra-os$ En8uanto a sua estrutura categorial' o monoides %ist(rico 1 um ti!o de !roduto categorial na categoria dos monoides$ 0s detal%es ser"o vistos a seguir$

!.1 Produto de monoides e #ro+eo Se:a

denota um n-tu!la de alfa?etos Sk$ Se:a taman%o finito dos alfa?etosT

P(A)

todas as !oss*veis com?ina-<es de strings de

0u se:a' P(A) 1 o !roduto cartesiano dos monoides livremente gerados de Sk$ (fortemente relacionado ao visto lin%as acima no fec%o de &leene visto como +onoide)$ A com!osi-"o no !roduto monoide 1 visto como com!onente' ent"o !araT e !ara todo em t%en

P(A)$0 8ue define a uni"o do alfa?eto


' !ode-se selecionar s( as letras em algum dos alfa?etos de $ Uma distri,uio com

Assim' dado 8ual8uer string

usando os corres!ondentes !ro:e-<es de strings 1 um ma!eamento 8ue o!era em com!onentes !ara cada monoide livre$

Ek' se!arando-lo em

!.2 Hist*ricos Para cada ' a tu!la E(a) 1 c%amada de %ist(rico elementar de um a$ Isso serve como uma indica-"o de inclus"o da letra a em um alfa?eto SkT

onde

0 string va3io 1 denotado !or'

0 monoide %ist(rico H(A) 1 um monoide livremente gerado !elos %ist(ricos elementares' 8ue 1 um su?monoide do monoide !roduto P(A)$.ada um dos H(A) s"o c%amados de -ist*ricos glo,ais'e a suas !ro:e-<es s"o c%amadas de -ist*ricos indi.iduais$ !.! Processos concorrentes .istos como monoides -ist*ricos ;este contesto' o %ist(rico 8uer di3er um registro da se8uencia dos estados de um !rocesso concorrente$ 0 alfa?eto Sk 1 o con:unto dos estados do !rocesso$ Para !oder ter uma !rimitiva de sincroni3a-"o' tem 8ue ter uma mesma letra 8ue !erten-a a dois ou mais alfa?etos' entre os vUrios %ist(ricos individuais$ 0u se:a se dita letra e iste em um alfa?eto' tem 8ue e istir a mesma no outro !ara 8ue se:a o nodo de sincroni3a-"o$ .onsiderando' o e em!lo os alfa?etos

1 S B Ca'b'c'd'eH$ 0s %ist(ricos $ ;este e em!lo bcbcc !ode ser visto como um %ist(rico elementar de um dos !rocessos concorrentes' en8uanto o %ist(rico individual de um segundo !rocesso !ode ser ddded$ Glo?almente am?os %ist(ricos individuais !odem ser re!resentados !elos %ist(rico glo?al bcbdddcced' !ois a !ro:e-"o deste string so? os alfa?etos individuais SV e S4 !rodu3 os %ist(ricos individuais$ ;a %ist(rico glo?al a letra b !ode ser considerada 8ue comuta com a letras d e e' nesse caso !ode se rearran:ar o string sem modificar os %ist(ricos individuais$ Essa comuta-"o 1 sim!lesmente a ideia 8ue o !rimeiro e segundo !rocesso est"o sendo e ecutados concorrentemente e sem ordem definida entre am?as) ou se:a 8ue nen%uma sincroni3a-"o nem troca de mensagens aconteceu at1 agora$

SV B Ca'b'cH e S4 B Ca'd'eH$A uni"o elementares s"o (a'a)' ' ' e

dos alfa?etos

&. Concluso .omo foi visto cada uma das estruturas monoidais estudadas neste artigo a?rangem a a ideias de sem#ntica' d n"o concorrentes e concorrentes) determin*sticos e n"o determin*sticos$ O im!ortante ressaltar 8ue este estudo foi feito utili3ando con%ecimento sim!les da ,eoria das .ategorias' mas 8ue e !ressa ideias interessantes relacionadas ao curso de .i9ncia da .om!uta-"o$

Re(erencias Aiverio ,$ Asmu3 and +ene3es' B$ Paulo$ ,eoria da .om!uta-"o T +U8uinas Universais e .om!uta?ilidade$ 4nd Edition$ +ene3es' B$ Paulo and Aiverio ,$ Asmu3$ ,eoria das .ategorias' 4nd edition$ +a3ur BarrL$ (455W) PX%en is one t%ing e8ual to some ot%er t%ingYQ %tt!TZZJJJ$mat%$%arvard$eduZ [ma3urZ!re!rintsZJ%en\is\one$!df Xi]i!edia contri?utors' (455^) _Partial function'_ Wikipedia, The Free Encyclopedia, %tt!TZZen$Ji]i!edia$orgZJZinde $!%!YtitleBPartial\function`oldidB4Wa65bW^V $ Xi]i!edia contri?utors' (455^) _,uring mac%ine'_ Wikipedia, The Free Encyclopedia, %tt!TZZen$Ji]i!edia$orgZJZinde $!%!YtitleB,uring\mac%ine`oldidB4W6a4^6ca (accessed +arc% 45' 455^)$

Anda mungkin juga menyukai