sistema abstracte de reescriptura oor Engels
sistema abstracte de reescriptura
Vertalings in die woordeboek Katalaans - Engels
abstract rewriting system
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
En un sistema abstracte de reescriptura noetherià, tot objecte té almenys una forma normal, i per tant és normalitzant.
You don' t have a lifeWikiMatrix WikiMatrix
Teorema (Lema de Newman): Un sistema abstracte de reescriptura terminant és confluent si i només si és localment confluent.
I should be allowed to tell you what I don' t like about youWikiMatrix WikiMatrix
Forma normal beta si no és possible una reducció beta; el càlcul lambda és un cas particular d'un sistema abstracte de reescriptura.
Yeah, uh, always tough to see from hereWikiMatrix WikiMatrix
Per exemple, el problema de la paraula per a grups és un cas particular del problema de la paraula en un sistema abstracte de reescriptura.
But get yourself a girl so you could settle downWikiMatrix WikiMatrix
En un sistema de transició d'estats, hom estudia les accions definides per les etiquetes, mentre que en un sistema abstracte de reescriptura s'estudia com es poden transformar (reescriure) els objectes.
What are you doing here?WikiMatrix WikiMatrix
Tot i la seva simplicitat, un sistema abstracte de reescriptura és suficient per descriure algunes propietats importants dels sistemes de reescriptura, com per exemple les formes normals, la terminació i diverses nocions de confluència.
Now you point them out for me you know the resultWikiMatrix WikiMatrix
Aquesta definició, que es pot trobar a Book & Otto 1993, és equivalent a la que hem vist anteriorment per a un sistema confluent, però és més inclusiva si es parla d'un sistema abstracte de reescriptura no confluent.
OK talk to you laterWikiMatrix WikiMatrix
Un sistema abstracte de reescriptura és un conjunt A, els elements del qual hom acostuma a dir objectes, juntament amb una relació binària sobre A, notada habitualment per →, i anomenada relació de reducció, relació de reescriptura o simplement reducció.
Someone' s hereWikiMatrix WikiMatrix
Com a objecte matemàtic, un sistema abstracte de reescriptura és exactament el mateix que un sistema de transició d'estats sense etiquetar, i si hom considera la relació com una unió indexada, llavors un sistema abstracte de reescriptura és equivalent a un sistema de transició d'estats on els índexs són les etiquetes.
Case T-#/#: Judgment of the Court of First Instance of # November #- Union Pigments v Commission (Competition- Article # EC- Cartel- Zinc phosphate market- Fine- Article # of Regulation No #- Gravity and duration of the infringement- Principles of proportionality and equal treatment- Action for annulmentWikiMatrix WikiMatrix
9 sinne gevind in 3 ms. Hulle kom uit baie bronne en word nie nagegaan nie.