שפה רקורסיבית: הבדלים בין גרסאות

תגית: עריכת קוד מקור 2017
תגית: עריכת קוד מקור 2017
 
סוג זה של שפה לא הוגדר ב[[ההיררכיה של חומסקי|היררכיה של חומסקי]] {{Harv|Chomsky|1959}}. כל השפות הרקורסיבית גם ניתנות למנייה רקורסיבית (Recursively Enumerable). כל [[שפה רגולרית]], [[שפה חופשית הקשר|שפה חפשית הקשר,]] היא גם '''רקורסיבית'''.
 
== דוגמאות ==
שפות רגישות הקשר גם הן רקורסיביות. כלומר <math>L={abc, aabbcc, aaabbbccc, ...}</math> לדוגמא:
: <math>L=\{\,w \in \{a,b,c\}^* \mid w=a^nb^nc^n \mbox{ for some } n\ge 1 \,\}</math>
 
== סגירוּת אלגברית ==