متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: ماشین‌های خواندنی تورینگ یا ماشین‌های تعیین‌پذیر حالات متناهی ۲ مسیره (به انگلیسی: read-only turing machine یا two-way deterministic finite-state automaton) (مخفف انگلیسی: ۲ dfa) رده‌ای از مدل‌های محاسبه پذیری هستند که مانند یک ماشین تورینگ استاندارد عمل می‌کنند و می‌توانند در هر ۲ جهت روی نوار حرکت کنند اما نمی‌توانند چیزی بنویسند. در حقیقت این ماشین‌ها از نظر قدرت محاسباتی معادل یک ماشین تعیین‌پذیر حالات متناهی هستند که فقط می‌توانند عمل تجزیه و تحلیل را روی یک‌زبان منظم انجام دهند. 
موضوع:
ماشین خواندنی تورینگ