שפה פורמלית
קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב / ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, לוגיקה ומדעי המחשב, שפה פורמלית היא קבוצה כלשהי של רצפים סופיים של סימנים (או אותיות) מקבוצה סופית .
ערך זה עוסק בשפה של מתמטיקה, לוגיקה ומדעי המחשב. אם התכוונתם לצורה סטנדרטית של שפת דיבור, ראו שפה תקנית, משלב.
קבוצת הסימנים מכונה "האלפבית של השפה". את הרצפים של השפה נהוג לכנות "מילים".