Weighted register automata and weighted logic on data words

کلمات داده ها عبارتند از توالی جفت که در آن عنصر اول از الفبای محدود گرفته شده است و عنصر دوم از یک دامنه نامحدود گرفته شده است. اتوماتای ​​ثبت نام یک مدل به طور گسترده مورد مطالعه برای استدلال بر روی کلمات داده است. در این مقاله، مدلهای اتوماتا برای جنبه های کمی سیستم ها با دامنه های نامحدود نامحدود، مانند هزینه های ذخیره داده ها در یک سرور از راه دور یا مصرف منابع (مثلا حافظه، انرژی، زمان) در طی تجزیه و تحلیل داده ها مورد بررسی قرار می گیریم. ما ماژول های اتوماتیک ثبت شده بر روی کلمات داده ها را بر روی نیمی از داده های متناوب مجهز به مجموعه ای از توابع داده های باینری معرفی می کنیم و خواص بسته شدن آنها را بررسی می کنیم. بر خلاف مدل های دیگر که در ادبیات مطرح شده است، ما امکان مقایسه داده ها با استفاده از مجموعه دلخواه روابط داده باینری را فراهم می کنیم. این امر ما را قادر می سازد که اتوماتای ​​زمان بندی شده و اتوماتیک زمان بندی شده با وزن را به چارچوب ما متصل کنیم. در نتیجه اصلی ما، ما یک ویژگی منطقی از ماشین حساب ثبت وزن را با استفاده از منطق دوم مرتبه وجود دارد مسیحی؛ برای اثبات ما یک کلاس جدیدی از ماشین حساب قابل ثبت قابل تعریف قابل استفاده است.