کاربرد نظریه ماشین‌ها و زبان‌های صوری در تحلیل فرایندهای ذهنی