Vad är en grundläggande automatisk-teoretisk modell av beräkning med namn och nynamnsgenerering? Vi introducerar Fresh-Register Automata (FRA), en ny klass av automata som arbetar med ett oändligt alfabet av namn och använder ett begränsat antal register för att lagra färska namn, och för att jämföra inkommande namn med tidigare lagrade. Dessa finita maskiner utökar Kaminski och Francez Finite-Memory Automata genom att kunna känna igen globalt färska ingångar, dvs namn färska i hela den aktuella körningen. Vi undersöker uttryckligheten hos FRA: s både från aspekten av accepterade språk och av bisimulation ekvivalens. Vi etablerar primära egenskaper och kopplingar mellan automata av detta slag, och besvarar viktiga decledability frågor. Som ett exempel på detta uttrycker vi teorin om pi-kalculus i FRA:s och karakteriserar bisimulationslikvärdighet med ett lämpligt och decimerbart begrepp i det finita fallet i dessa automata.
På senare tid har Tzevelekos REF infört Fresh-Register Automata (FRA), som arbetar med ett oändligt alfabet av namn och använder ett begränsat antal register för att bearbeta nya namn; avgörande för att jämföra inkommande namn med tidigare lagrade.
Fresh-register automata
{'venue': "POPL '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}