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