שפה פורמלית
קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב / ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית .
![פירוש נוסף](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Disambig_RTL.svg/25px-Disambig_RTL.svg.png)
קבוצת הסימנים מכונה "האלפבית של השפה". את הרצפים של השפה נהוג לכנות "מילים".