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

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