Local testability from words to traces, a suitable definition

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