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

متن: در علوم نظری کامپیوتر، به ویژه در نظریه زبان رسمی، الگوریتم ساختمان تامپسون (tca) یک عبارت منظم را به یک اتوماتای قطعی متناهی (nfa) تبدیل می‌کند، که یک تبدیل بین دو نوع از چند نوع فرمت تعریف زبان‌های منظم ایجاد می‌کند. هنگامی‌که عبارت‌های منظم به عنوان مثال برای توصیف الگوهای جستجوی پیشرفته در عملیات‌هایی شبیه «پیدا و جایگزین کردن» در خدمات پردازش متن مورد استفاده قرار می‌گیرند، فرم nfa برای اجرا روی کامپیوتر مناسب‌تر است. الگوریتم به صورت بازگشتی کار می‌کند به این صورت که با قطعه‌قطعه کردن عبارت به زیرعبارت‌های اصلی، و با استفاده از یک سری قوانین، nfa ساخته می‌شود. 
موضوع:
الگوریتم ساختمان تامپسون