در علوم کامپیوتر نظری و نظریه زبانهای صوری، ترانسدیوسر درخت (TT) یک ماشین انتزاعی است که یک درخت را به عنوان ورودی دریافت کرده و معمولاً درختهای دیگر را تولید میکند. این ماشینها برای مدلسازی تبدیلات هدایتشده توسط ساختار نحوی در زبانهای صوری یا طبیعی به کار میروند.
ترانسدیوسرهای درخت به دو دسته اصلی تقسیم میشوند: بالا به پایین (TOP) و پایین به بالا (BOT). در ترانسدیوسرهای بالا به پایین، تبدیل از ریشه درخت آغاز شده و به سمت برگها پیش میرود، در حالی که در ترانسدیوسرهای پایین به بالا، این فرایند از برگها به سمت ریشه انجام میشود.
ویژگیهای ترانسدیوسرهای بالا به پایین (DTOP)
ترانسدیوسرهای بالا به پایین ویژگیهای خاصی دارند، از جمله:
- دامنه آنها یک زبان درخت منظم است.
- تصویر آنها الزاماً یک زبان درخت منظم نیست.
- تحت ترکیب بسته نیستند، اما با افزودن قابلیت پیشبینی (lookahead) میتوان این مشکل را حل کرد.
چالشها و محدودیتها
یکی از چالشهای اصلی در ترانسدیوسرهای درخت، عدم توانایی در تست ویژگیهای زیردرختهایی است که از آنها خروجی تولید نمیشود. این محدودیت باعث میشود که نتوان دامنه آنها را به یک زبان درخت منظم محدود کرد.