در علوم کامپیوتر، به طور خاص در نظریه اتوماتا، به ماشینی خودکار دو طرفه می گویند اگر اجازه دهد ورودی آن دوباره خوانده شود.Q {\displaystyle Q} مجموعهٔ غیرتهی متناهی حالاتΣ {\displaystyle \Sigma } مجموعهٔ غیرتهی متناهی الفبای ورودیL {\displaystyle L} علامت پایان سمت چپ استR {\displaystyle R} علامت پایان سمت راست استδ : Q × ( Σ ∪ { L , R } ) i g h t a r r o w Q × { l e f t , r i g h t...