مقاله‌ی زیر به همراه خلاصه آن در وب‌سایت ویکیپدیا آمده است. موضوع آن را مشخص کنید

مقاله: قوانینی که در ادامه می‌آیند مطابق با (aho et al (۱۹۸۶، صفحه ۱۲۲ شرح داده شده‌اند. (n (s و (n (t به ترتیب nfa زیر عبارت‌های s و t می‌باشند. یک عبارت تهی ε تبدیل می‌شود به یک نماد a از الفبای ورودی تبدیل می‌شود به عبارت اجتماع s|t تبدیل می‌شود به وضعیت q با ε به وضعیت‌های شروع (n (s یا (n (t می‌رود. وضعیت‌های پایانی آن‌ها تبدیل به وضعیت‌های واسطه nfa کل می‌شوند و با دو انتقال ε به وضعیت پایانی nfa می‌روند. عبارت الحاق st تبدیل می‌شود به وضعیت شروع (n (s تبدیل به وضعیت شروع nfa کل می‌شود. وضعیت پایانی (n (s تبدیل به وضعیت شروع (n (t می‌شود. وضعیت پایانی (n (t تبدیل به وضعیت پایانی nfa کل می‌شود. عبارت ستاره کلین s* تبدیل می‌شود به یک انتقال ε عبارت‌های شروع و پایان nfa با زیر-nfa (n (s در وسط، آن‌ها را به هم وصل می‌کند. یک انتقال ε دیگر نیز از وضعیت پایانی داخلی به وضعیت شروع داخلی (n (s، تکرار عبارت s را با توجه به عملگر ستاره را ممکن می‌سازد. عبارت پرانتزگذاری شده (s) به خود (n (s تبدیل می‌شود. یک الگوریتم نیز قبل از این توسط mcnaughton و yamada معرفی‌شده بود. به عنوان یک مثال، تصویر نتیجه الگوریتم ساخت تامپسون را بر روی عبارت منظم (۰ | (۱ (۰۱ * (۰۰) * ۰) * ۱) *) * که مجموعه اعداد دودویی بخش‌پذیر بر ۳ را نمایش می‌دهد: بخش بالا سمت راست ساختار منطقی (درخت سینتکس) عبارت را نشان می‌دهد، که در آن الحاق با «.» نشان داده‌شده (فرض شده که آرگومان متغیر دارد). زیرعبارت‌ها برای مقاصد ارجاع با a-q نامگذاری شده‌اند. بخش چپ اتوماتای متناهی منطقی بدست آمده از الگوریتم تامپسون را نشان می‌دهد. وضعیت ورودی یا خروجی هر زیرعبارت به ترتیب با رنگ ارغوانی و فیروزه‌ای نشان داده شده‌است. از نماد ε به عنوان نماد انتقال برای وضوح بیشتر صرف‌نظر شده‌است. انتقال‌های بدون برچسب در واقع همان انتقال‌های ε هستند. وضعیت ورودی و خروجی متناظر با ریشه عبارت q به ترتیب وضعیت شروع و پذیرش اتوماتا است. گام‌های الگوریتم به شرح زیر می‌باشد: یک اتوماتای قطعی مینیمال شده در شکل زیر نشان داده شده‌است. 
خلاصه: در علوم نظری کامپیوتر، به ویژه در نظریه زبان رسمی، الگوریتم ساختمان تامپسون (tca) یک عبارت منظم را به یک اتوماتای قطعی متناهی (nfa) تبدیل می‌کند، که یک تبدیل بین دو نوع از چند نوع فرمت تعریف زبان‌های منظم ایجاد می‌کند. هنگامی‌که عبارت‌های منظم به عنوان مثال برای توصیف الگوهای جستجوی پیشرفته در عملیات‌هایی شبیه «پیدا و جایگزین کردن» در خدمات پردازش متن مورد استفاده قرار می‌گیرند، فرم nfa برای اجرا روی کامپیوتر مناسب‌تر است. الگوریتم به صورت بازگشتی کار می‌کند به این صورت که با قطعه‌قطعه کردن عبارت به زیرعبارت‌های اصلی، و با استفاده از یک سری قوانین، nfa ساخته می‌شود. 
موضوع:
الگوریتم ساختمان تامپسون