Normality and two-way automata

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