כל מה שרצית לדעת על שפה פורמלית:
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית Σ {\displaystyle \Sigma } .
קבוצת הסימנים Σ {\displaystyle \Sigma } מכונה "האלפבית של השפה".
את הרצפים של השפה נהוג לכנות "מילים".